Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM idris-1.3.4-5.fc37.src.rpm

ID	873491
Name	idris
Version	1.3.4
Release	5.fc37
Epoch
Arch	src
Summary	Functional Programming Language with Dependent Types
Description	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 <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 Time	2022-11-03 19:55:15 GMT
Size	1.67 MB
SIGMD5	e13805be67872e365939bc2405a18b44
License	BSD
Buildroot	f37-build-664721-74155
Provides	ghc-idris = 1.3.4-5.fc37 ghc-idris-devel = 1.3.4-5.fc37 idris = 1.3.4-5.fc37 idris-common = 1.3.4-5.fc37 idris-debuginfo = 1.3.4-5.fc37 idris-debugsource = 1.3.4-5.fc37 idris-docs = 1.3.4-5.fc37 idris-manual = 1.3.4-5.fc37 idris-static = 1.3.4-5.fc37
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	gc-devel ghc-Cabal-devel ghc-aeson-prof ghc-annotated-wl-pprint-prof ghc-ansi-terminal-prof ghc-ansi-wl-pprint-prof ghc-array-prof ghc-async-prof ghc-base-prof ghc-base64-bytestring-prof ghc-binary-prof ghc-blaze-html-prof ghc-blaze-markup-prof ghc-bytestring-prof ghc-cheapskate-prof ghc-code-page-prof ghc-containers-prof ghc-deepseq-prof ghc-directory-prof ghc-filepath-prof ghc-fingertree-prof ghc-fsnotify-prof ghc-haskeline-prof ghc-ieee754-prof ghc-libffi-prof ghc-megaparsec-prof ghc-mtl-prof ghc-network-prof ghc-optparse-applicative-prof ghc-parser-combinators-prof ghc-pretty-prof ghc-process-prof ghc-regex-tdfa-prof ghc-rpm-macros ghc-safe-prof ghc-split-prof ghc-terminal-size-prof ghc-text-prof ghc-time-prof ghc-transformers-prof ghc-uniplate-prof ghc-unix-prof ghc-unordered-containers-prof ghc-utf8-string-prof ghc-vector-binary-instances-prof ghc-vector-prof ghc-zip-archive-prof 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 Size idris-1.3.4.tar.gz 1.64 MB idris.spec 13.38 KB
Component of	No Buildroots