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

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

Branch: pkgsrc-2020Q1, 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


Required to run:
[converters/hs-aeson] [converters/hs-base64-bytestring] [net/hs-network] [devel/hs-unordered-containers] [devel/hs-async] [devel/hs-terminal-size] [devel/gmp] [devel/hs-fsnotify] [devel/hs-code-page] [devel/hs-fingertree] [devel/hs-split] [devel/hs-libffi] [devel/hs-uniplate] [devel/hs-utf8-string] [devel/hs-vector] [devel/hs-safe] [devel/hs-ansi-terminal] [devel/hs-vector-binary-instances] [devel/hs-parser-combinators] [devel/hs-optparse-applicative] [lang/ghc88]


Package options: gmp, idris-ffi

Master sites:

SHA1: fb4ac3904368a3d8c935855873d73a6ffc90beec
RMD160: 6b1ec85978e62c32691920429e0d2f97e3685b63
Filesize: 2043.744 KB

Version history: (Expand)