Wed, 27 Nov 2024 14:42:53 CST | login

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

ID139653
Nameidris
Version1.3.4
Release1.ocs23
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-07-22 04:19:18 GMT
Size1.66 MB
802e880b4981a22ff72b81bcf78a6f6c
LicenseBSD-3-Clause
Buildrootdist-ocs23-epol9-build-214504-15918
Provides
ghc-idris = 1.3.4-1.ocs23
ghc-idris-devel = 1.3.4-1.ocs23
idris = 1.3.4-1.ocs23
idris-common = 1.3.4-1.ocs23
idris-debuginfo = 1.3.4-1.ocs23
idris-debugsource = 1.3.4-1.ocs23
idris-docs = 1.3.4-1.ocs23
idris-manual = 1.3.4-1.ocs23
idris-static = 1.3.4-1.ocs23
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