Tue, 26 Nov 2024 00:13:02 UTC | login

Information for RPM idris-1.3.4-17.fc41.src.rpm

ID1430811
Nameidris
Version1.3.4
Release17.fc41
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-13 09:27:07 GMT
Size1.68 MB
5a8956d8083a0c1ce8e2c0dbe8c6a9d0
LicenseBSD-3-Clause
Buildrootf41-build-840437-160683
Provides
ghc-idris = 1.3.4-17.fc41
ghc-idris-devel = 1.3.4-17.fc41
ghc-idris-prof = 1.3.4-17.fc41
idris = 1.3.4-17.fc41
idris-common = 1.3.4-17.fc41
idris-docs = 1.3.4-17.fc41
idris-manual = 1.3.4-17.fc41
idris-static = 1.3.4-17.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gc-devel
ghc-Cabal-devel
ghc-aeson-devel
ghc-aeson-prof
ghc-annotated-wl-pprint-devel
ghc-annotated-wl-pprint-prof
ghc-ansi-terminal-devel
ghc-ansi-terminal-prof
ghc-ansi-wl-pprint-devel
ghc-ansi-wl-pprint-prof
ghc-array-devel
ghc-array-prof
ghc-async-devel
ghc-async-prof
ghc-base-devel
ghc-base-prof
ghc-base64-bytestring-devel
ghc-base64-bytestring-prof
ghc-binary-devel
ghc-binary-prof
ghc-blaze-html-devel
ghc-blaze-html-prof
ghc-blaze-markup-devel
ghc-blaze-markup-prof
ghc-bytestring-devel
ghc-bytestring-prof
ghc-cheapskate-devel
ghc-cheapskate-prof
ghc-code-page-devel
ghc-code-page-prof
ghc-containers-devel
ghc-containers-prof
ghc-deepseq-devel
ghc-deepseq-prof
ghc-directory-devel
ghc-directory-prof
ghc-filepath-devel
ghc-filepath-prof
ghc-fingertree-devel
ghc-fingertree-prof
ghc-fsnotify-devel
ghc-fsnotify-prof
ghc-haskeline-devel
ghc-haskeline-prof
ghc-ieee754-devel
ghc-ieee754-prof
ghc-libffi-devel
ghc-libffi-prof
ghc-megaparsec-devel
ghc-megaparsec-prof
ghc-mtl-devel
ghc-mtl-prof
ghc-network-devel
ghc-network-prof
ghc-optparse-applicative-devel
ghc-optparse-applicative-prof
ghc-parser-combinators-devel
ghc-parser-combinators-prof
ghc-pretty-devel
ghc-pretty-prof
ghc-process-devel
ghc-process-prof
ghc-regex-tdfa-devel
ghc-regex-tdfa-prof
ghc-rpm-macros
ghc-safe-devel
ghc-safe-prof
ghc-split-devel
ghc-split-prof
ghc-terminal-size-devel
ghc-terminal-size-prof
ghc-text-devel
ghc-text-prof
ghc-time-devel
ghc-time-prof
ghc-transformers-devel
ghc-transformers-prof
ghc-uniplate-devel
ghc-uniplate-prof
ghc-unix-devel
ghc-unix-prof
ghc-unordered-containers-devel
ghc-unordered-containers-prof
ghc-utf8-string-devel
ghc-utf8-string-prof
ghc-vector-binary-instances-devel
ghc-vector-binary-instances-prof
ghc-vector-devel
ghc-vector-prof
ghc-zip-archive-devel
ghc-zip-archive-prof
gmp-devel
help2man
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 7 of 7
Name ascending sort Size
4920.patch772.00 B
4921.patch776.00 B
4922.patch718.00 B
4925.patch7.87 KB
4926.patch2.84 KB
idris-1.3.4.tar.gz1.64 MB
idris.spec17.35 KB
Component of No Buildroots