Path to this page:
./
lang/idris,
Functional Programming Language with Dependent Types
Branch: pkgsrc-2020Q4,
Version: 1.3.2nb2,
Package name: idris-1.3.2nb2,
Maintainer: phoIdris 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
Package options: gmp, idris-ffi
Master sites:
SHA1: fb4ac3904368a3d8c935855873d73a6ffc90beec
RMD160: 6b1ec85978e62c32691920429e0d2f97e3685b63
Filesize: 2043.744 KB
Version history: (Expand)
- (2021-01-04) Package added to pkgsrc.se, version idris-1.3.2nb2 (created)