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

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


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

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)


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