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

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

Branch: pkgsrc-2021Q3, Version: 1.3.3nb1, Package name: idris-1.3.3nb1, 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: dfaf078f6220f7c44e9f052002ec3373b2f51086
RMD160: ceddf815d11098704e40d3d428edb99cc5fbe349
Filesize: 1680.648 KB

Version history: (Expand)