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

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


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


   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141)
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-30 17:23:12 by Masatake Daimon | Files touched by this commit (1)
Log message:
lang/idris: comment
   2023-10-30 16:39:57 by Masatake Daimon | Files touched by this commit (20)
Log message:
lang/idris: Fix build with GHC 9.6
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988)
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-27 04:06:29 by Masatake Daimon | Files touched by this commit (4)
Log message:
lang/idris: Fix build with GHC 9.4
   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