Information for RPM idris-1.3.4-1.oc9.src.rpm

ID221632
Nameidris
Version1.3.4
Release1.oc9
Epoch
Archsrc
SummaryFunctional Programming Language with Dependent Types
DescriptionIdris 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 <https://www.idris-lang.org/documentation>. Features include: * Full, first class, dependent types with dependent pattern matching * where clauses, with rule, case expressions, pattern matching let and lambda bindings * Interfaces (similar to type classes), monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment.
Build Time2024-08-05 05:34:31 GMT
Size1.66 MB
a6d4e26e5617d9e7471f77a72691c78b
LicenseBSD-3-Clause
Buildrootdist-oc9-epol-build-92311-59299
Provides
ghc-idris = 1.3.4-1.oc9
ghc-idris-devel = 1.3.4-1.oc9
idris = 1.3.4-1.oc9
idris-common = 1.3.4-1.oc9
idris-debuginfo = 1.3.4-1.oc9
idris-debugsource = 1.3.4-1.oc9
idris-docs = 1.3.4-1.oc9
idris-manual = 1.3.4-1.oc9
idris-static = 1.3.4-1.oc9
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gc-devel
ghc-Cabal-devel
ghc-aeson-devel
ghc-annotated-wl-pprint-devel
ghc-ansi-terminal-devel
ghc-ansi-wl-pprint-devel
ghc-array-devel
ghc-async-devel
ghc-base-devel
ghc-base64-bytestring-devel
ghc-binary-devel
ghc-blaze-html-devel
ghc-blaze-markup-devel
ghc-bytestring-devel
ghc-cheapskate-devel
ghc-code-page-devel
ghc-containers-devel
ghc-deepseq-devel
ghc-directory-devel
ghc-filepath-devel
ghc-fingertree-devel
ghc-fsnotify-devel
ghc-haskeline-devel
ghc-ieee754-devel
ghc-libffi-devel
ghc-megaparsec-devel
ghc-mtl-devel
ghc-network-devel
ghc-optparse-applicative-devel
ghc-parser-combinators-devel
ghc-pretty-devel
ghc-process-devel
ghc-regex-tdfa-devel
ghc-rpm-macros
ghc-safe-devel
ghc-split-devel
ghc-terminal-size-devel
ghc-text-devel
ghc-time-devel
ghc-transformers-devel
ghc-uniplate-devel
ghc-unix-devel
ghc-unordered-containers-devel
ghc-utf8-string-devel
ghc-vector-binary-instances-devel
ghc-vector-devel
ghc-zip-archive-devel
gmp-devel
python3-sphinx
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
idris-1.3.4.tar.gz1.64 MB
idris.spec9.22 KB
Component of No Buildroots