2020-03-08 17:51:54 by Thomas Klausner | Files touched by this commit (2833) |
Log message: *: recursive bump for libffi |
2020-01-21 00:32:39 by Masatake Daimon | Files touched by this commit (18) |
Log message: Import idris-1.3.2 Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at http://www.idris-lang.org/documentation |