Path to this page:
./
lang/idris,
Functional Programming Language with Dependent Types
Branch: CURRENT,
Version: 1.3.4nb9,
Package name: idris-1.3.4nb9,
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
Required to run:[
devel/gmp] [
devel/hs-utf8-string] [
net/hs-network] [
devel/hs-vector] [
textproc/hs-blaze-markup] [
devel/hs-unordered-containers] [
converters/hs-base64-bytestring] [
devel/hs-uniplate] [
textproc/hs-blaze-html] [
devel/hs-ansi-terminal] [
devel/hs-split] [
devel/hs-safe] [
converters/hs-aeson] [
devel/hs-async] [
lang/ghc88] [
archivers/hs-zip-archive] [
textproc/hs-ansi-wl-pprint] [
textproc/hs-annotated-wl-pprint] [
devel/hs-fsnotify] [
devel/hs-code-page] [
devel/hs-fingertree] [
math/hs-ieee754] [
textproc/hs-cheapskate] [
devel/hs-optparse-applicative] [
devel/hs-parser-combinators] [
textproc/hs-megaparsec] [
devel/hs-libffi] [
devel/hs-terminal-size] [
devel/hs-vector-binary-instances] [
textproc/hs-regex-tdfa]
Required to build:[
pkgtools/cwrappers]
Package options: gmp, idris-ffi
Master sites:
Filesize: 1679.922 KB
Version history: (Expand)
- (2023-11-02) Updated to version: idris-1.3.4nb9
- (2023-10-09) Updated to version: idris-1.3.4nb8
- (2023-02-09) Updated to version: idris-1.3.4nb7
- (2022-09-07) Updated to version: idris-1.3.4nb6
- (2022-08-20) Updated to version: idris-1.3.4nb5
- (2022-02-26) Updated to version: idris-1.3.4nb4
CVS history: (Expand)