Path to this page:
./
lang/idris,
Functional Programming Language with Dependent Types
Branch: CURRENT,
Version: 1.3.4nb10,
Package name: idris-1.3.4nb10,
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
This package provides Idris 1, which is no longer maintained by
upstream. It's getting harder and harder to keep it compatible with newer
versions of GHC, and next time it breaks we will remove this
package. Existing users should migrate to lang/idris2 urgently.
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)
- (2024-05-09) Updated to version: idris-1.3.4nb10
- (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
CVS history: (Expand)