./lang/idris, Functional Programming Language with Dependent Types

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2020Q3, Version: 1.3.2nb1, Package name: idris-1.3.2nb1, Maintainer: pho

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



Package options: gmp, idris-ffi

Master sites:

SHA1: fb4ac3904368a3d8c935855873d73a6ffc90beec
RMD160: 6b1ec85978e62c32691920429e0d2f97e3685b63
Filesize: 2043.744 KB

Version history: (Expand)