Tue, 22 Jun 2021 15:08:32 UTC

Information for RPM idris-0.9.9.1-5.fc22.src.rpm

ID6183475
Nameidris
Version0.9.9.1
Release5.fc22
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 behavior can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/documentation>. Features include: * Full dependent types with dependent pattern matching * where clauses, with rule, simple case expressions, pattern matching let and lambda bindings * Type classes, monad comprehensions * do notation, idiom brackets, syntactic conveniences for lists, tuples, dependent pairs * Totality checking * Coinductive types * Indentation significant syntax, extensible syntax * Tactic based theorem proving (influenced by Coq) * Cumulative universes * Simple foreign function interface (to C) * Hugs style interactive environment.
Build Time2015-04-20 02:56:07 GMT
Size344,454
9d2109f86062f6bedb8eb53358e46edd
LicenseBSD
Buildrootf22-build-3233948-474519
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gc-devel
ghc-Cabal-devel
ghc-ansi-terminal-devel
ghc-binary-devel
ghc-bytestring-devel
ghc-containers-devel
ghc-directory-devel
ghc-filepath-devel
ghc-haskeline-devel
ghc-language-java-devel
ghc-libffi-devel
ghc-mtl-devel
ghc-parsec-devel
ghc-pretty-devel
ghc-process-devel
ghc-rpm-macros
ghc-split-devel
ghc-text-devel
ghc-time-devel
ghc-transformers-devel
ghc-unix-devel
ghc-vector-binary-instances-devel
ghc-vector-devel
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 4 of 4
Name ascending sort Size
idris-0.9.9.1.tar.gz332,535
idris-ASTBuilding-ghc78.patch419
idris-rts-opt-fprintf.patch292
idris.spec4,759
Component of No Buildroots