./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)


   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-05-03 09:36:41 by Masatake Daimon | Files touched by this commit (2) 
Log message:
lang/idris (DESCR): Recommend migrating to lang/idris2
   2024-05-02 13:51:20 by Masatake Daimon | Files touched by this commit (2) 
Log message:
lang/idris: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   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