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

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


Branch: CURRENT, Version: 1.3.4nb6, Package name: idris-1.3.4nb6, 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:
[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)


CVS history: (Expand)


   2022-09-07 08:50:53 by Masatake Daimon | Files touched by this commit (149) | Package updated
Log message:
Recursive bump for recently updated Haskell packages
   2022-08-29 16:07:37 by Thomas Klausner | Files touched by this commit (2)
Log message:
dris: fix build with current pkgsrc version of dependencies
   2022-08-20 10:08:24 by Thomas Klausner | Files touched by this commit (211)
Log message:
hs*: recursive bump for new dependencies needed

for hs-aeson, hs-vector
   2022-02-26 13:35:11 by Masatake Daimon | Files touched by this commit (3)
Log message:
*: Bump packages that depend on devel/hs-fsnotify
   2022-02-26 09:07:37 by Masatake Daimon | Files touched by this commit (5)
Log message:
lang/idris: Link idris with static Haskell libraries

Also generate shell completion scripts with optparse-applicative.
   2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872)
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
   2022-02-12 09:51:00 by Masatake Daimon | Files touched by this commit (575)
Log message:
revbump after changing the default Haskell compiler
   2022-02-12 08:13:35 by Masatake Daimon | Files touched by this commit (7)
Log message:
Update to idris-1.3.4

New in 1.3.4
    Renamed 'forall' function for compability with future GHC releases
    Updated version bounds
    Bugfixes