Path to this page:
./
lang/idris,
Functional Programming Language with Dependent Types
Branch: pkgsrc-2021Q3,
Version: 1.3.3nb1,
Package name: idris-1.3.3nb1,
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: dfaf078f6220f7c44e9f052002ec3373b2f51086
RMD160: ceddf815d11098704e40d3d428edb99cc5fbe349
Filesize: 1680.648 KB
Version history: (Expand)
- (2021-09-28) Package has been reborn
- (2021-09-27) Package added to pkgsrc.se, version idris-1.3.3nb1 (created)