Main Site Links:

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

Information for RPM idris-1.3.4-6.fc38.src.rpm

ID	1019249
Name	idris
Version	1.3.4
Release	6.fc38
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	2023-06-03 09:48:04 GMT
Size	1.67 MB
SIGMD5	bf26e1462dc2426f7208ddadd32db763
License	BSD-3-Clause
Buildroot	f38-build-719838-97265
Provides	ghc-idris = 1.3.4-6.fc38 ghc-idris-devel = 1.3.4-6.fc38 ghc-idris-prof = 1.3.4-6.fc38 idris = 1.3.4-6.fc38 idris-common = 1.3.4-6.fc38 idris-debuginfo = 1.3.4-6.fc38 idris-debugsource = 1.3.4-6.fc38 idris-docs = 1.3.4-6.fc38 idris-manual = 1.3.4-6.fc38 idris-static = 1.3.4-6.fc38
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 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 15.29 KB
Component of	No Buildroots