Tue, 22 Jun 2021 15:16:05 UTC

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

ID6183476
Nameidris
Version0.9.9.1
Release5.fc22
Epoch
Archx86_64
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 03:00:47 GMT
Size1,951,516
3917caad8c8885c2c834fdcdf9f72900
LicenseBSD
Buildrootf22-build-3233948-474519
Provides
idris = 0.9.9.1-5.fc22
idris(x86-64) = 0.9.9.1-5.fc22
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc
ghc(Cabal-1.18.1.5-0318cd8c01bf9b848069b72082af46d8)
ghc(ansi-terminal-0.6.2.1-408a84740abf5dd0377700f64b559d4a)
ghc(array-0.5.0.0-ce080a527b3819e94d851f7f80ca77dd)
ghc(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1)
ghc(binary-0.7.1.0-c62239d56a29611b3d56fd96592f602d)
ghc(bytestring-0.10.4.0-e82797828c29adab75d6eb4b53384f09)
ghc(cereal-0.4.1.1-49702b5eb7f123fa8e8ff754cfe55c18)
ghc(containers-0.5.5.1-d7910f1cd81272c1f31ca9f71d0f206e)
ghc(cpphs-1.18.9-e6b33c195c50a449260271a707d249a2)
ghc(deepseq-1.3.0.2-0ddc77716bd2515426e1ba39f6788a4f)
ghc(directory-1.2.1.0-1b239651bf547478c9e952c1e47c8fbe)
ghc(filepath-1.3.0.2-25a474a9272ae6260626ce0d70ad1cab)
ghc(ghc-prim-0.3.1.0-a24f9c14c632d75b683d0f93283aea37)
ghc(haskeline-0.7.1.2-281779727606b894dc030c237fe9fadd)
ghc(integer-gmp-0.5.1.0-26579559b3647acf4f01d5edd9491a46)
ghc(language-java-0.2.7-d640101ef3c0ba1d4d1b2f14001d4f44)
ghc(libffi-0.1-0d927ae13ed16e3dc2aafbff06ba0b09)
ghc(mtl-2.1.3.1-96f1a7910a7553352339ed05fb61c269)
ghc(old-locale-1.0.0.6-50b0125c49f76af85dc7aa22975cdc34)
ghc(old-time-1.1.0.2-e3f776e97c1a6ff1770b04943a7ef7c6)
ghc(parsec-3.1.5-51b006adec60c0312a6076337b4afd53)
ghc(polyparse-1.11-9e052211d4bea78f8e4add423c657bad)
ghc(pretty-1.1.1.1-0984f47ffe93ef3983c80b96280f1c3a)
ghc(primitive-0.5.2.1-1efb6a710569a6a23b761d538e2c75d2)
ghc(process-1.2.0.0-ac5f66ef47c8e6680cd098551063b07c)
ghc(split-0.2.2-34cfb851cc3784e22bfae7a7bddda9c5)
ghc(terminfo-0.4.0.0-c1d02a7210b0d1bc250d87463b38b8d1)
ghc(text-1.1.1.3-41a1b42bfbf393e802c95c88f57d2452)
ghc(time-1.4.2-192d26f44a2c945780bbb921626c3399)
ghc(transformers-0.3.0.0-6458c21515cab7c1cf21e53141557a1c)
ghc(unix-2.7.0.1-d7de2c9293605f58486b3752d772cdb6)
ghc(vector-0.10.9.1-2f5cf77c20260b20755a9f1aebe4529b)
ghc(vector-binary-instances-0.2.1.0-8db9e4f658f8ae8bd216d9fdb693016d)
libHSCabal-1.18.1.5-ghc7.8.4.so()(64bit)
libHSansi-terminal-0.6.2.1-ghc7.8.4.so()(64bit)
libHSarray-0.5.0.0-ghc7.8.4.so()(64bit)
libHSbase-4.7.0.2-ghc7.8.4.so()(64bit)
libHSbinary-0.7.1.0-ghc7.8.4.so()(64bit)
libHSbytestring-0.10.4.0-ghc7.8.4.so()(64bit)
libHScereal-0.4.1.1-ghc7.8.4.so()(64bit)
libHScontainers-0.5.5.1-ghc7.8.4.so()(64bit)
libHScpphs-1.18.9-ghc7.8.4.so()(64bit)
libHSdeepseq-1.3.0.2-ghc7.8.4.so()(64bit)
libHSdirectory-1.2.1.0-ghc7.8.4.so()(64bit)
libHSfilepath-1.3.0.2-ghc7.8.4.so()(64bit)
libHSghc-prim-0.3.1.0-ghc7.8.4.so()(64bit)
libHShaskeline-0.7.1.2-ghc7.8.4.so()(64bit)
libHSinteger-gmp-0.5.1.0-ghc7.8.4.so()(64bit)
libHSlanguage-java-0.2.7-ghc7.8.4.so()(64bit)
libHSlibffi-0.1-ghc7.8.4.so()(64bit)
libHSmtl-2.1.3.1-ghc7.8.4.so()(64bit)
libHSold-locale-1.0.0.6-ghc7.8.4.so()(64bit)
libHSold-time-1.1.0.2-ghc7.8.4.so()(64bit)
libHSparsec-3.1.5-ghc7.8.4.so()(64bit)
libHSpolyparse-1.11-ghc7.8.4.so()(64bit)
libHSpretty-1.1.1.1-ghc7.8.4.so()(64bit)
libHSprimitive-0.5.2.1-ghc7.8.4.so()(64bit)
libHSprocess-1.2.0.0-ghc7.8.4.so()(64bit)
libHSrts-ghc7.8.4.so()(64bit)
libHSsplit-0.2.2-ghc7.8.4.so()(64bit)
libHSterminfo-0.4.0.0-ghc7.8.4.so()(64bit)
libHStext-1.1.1.3-ghc7.8.4.so()(64bit)
libHStime-1.4.2-ghc7.8.4.so()(64bit)
libHStransformers-0.3.0.0-ghc7.8.4.so()(64bit)
libHSunix-2.7.0.1-ghc7.8.4.so()(64bit)
libHSvector-0.10.9.1-ghc7.8.4.so()(64bit)
libHSvector-binary-instances-0.2.1.0-ghc7.8.4.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libdl.so.2()(64bit)
libffi.so.6()(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libpthread.so.0()(64bit)
librt.so.1()(64bit)
libtinfo.so.5()(64bit)
libutil.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 117 >>>
Name ascending sort Size
/usr/bin/idris10,181,944
/usr/lib64/idris-0.9.9.14,096
/usr/lib64/idris-0.9.9.1/base4,096
/usr/lib64/idris-0.9.9.1/base/Builtins.ibc1,215,921
/usr/lib64/idris-0.9.9.1/base/Control4,096
/usr/lib64/idris-0.9.9.1/base/Control/Arrow.ibc362,689
/usr/lib64/idris-0.9.9.1/base/Control/Catchable.ibc144,050
/usr/lib64/idris-0.9.9.1/base/Control/Category.ibc85,561
/usr/lib64/idris-0.9.9.1/base/Control/IOExcept.ibc186,138
/usr/lib64/idris-0.9.9.1/base/Control/Monad4,096
/usr/lib64/idris-0.9.9.1/base/Control/Monad/Identity.ibc62,141
/usr/lib64/idris-0.9.9.1/base/Control/Monad/State.ibc309,490
/usr/lib64/idris-0.9.9.1/base/Data4,096
/usr/lib64/idris-0.9.9.1/base/Data/Bits.ibc3,558,006
/usr/lib64/idris-0.9.9.1/base/Data/BoundedList.ibc178,824
/usr/lib64/idris-0.9.9.1/base/Data/HVect.ibc736,064
/usr/lib64/idris-0.9.9.1/base/Data/Mod2.ibc542,469
/usr/lib64/idris-0.9.9.1/base/Data/Morphisms.ibc111,682
/usr/lib64/idris-0.9.9.1/base/Data/Sign.ibc5,459
/usr/lib64/idris-0.9.9.1/base/Data/SortedMap.ibc2,212,410
/usr/lib64/idris-0.9.9.1/base/Data/SortedSet.ibc63,056
/usr/lib64/idris-0.9.9.1/base/Data/Vect4,096
/usr/lib64/idris-0.9.9.1/base/Data/Vect.ibc195,893
/usr/lib64/idris-0.9.9.1/base/Data/Vect/Quantifiers.ibc367,702
/usr/lib64/idris-0.9.9.1/base/Data/ZZ.ibc543,019
/usr/lib64/idris-0.9.9.1/base/Debug4,096
/usr/lib64/idris-0.9.9.1/base/Debug/Trace.ibc8,329
/usr/lib64/idris-0.9.9.1/base/Decidable4,096
/usr/lib64/idris-0.9.9.1/base/Decidable/Decidable.ibc226
/usr/lib64/idris-0.9.9.1/base/Decidable/Equality.ibc1,031,071
/usr/lib64/idris-0.9.9.1/base/Decidable/Order.ibc222
/usr/lib64/idris-0.9.9.1/base/IO.ibc85,106
/usr/lib64/idris-0.9.9.1/base/Language4,096
/usr/lib64/idris-0.9.9.1/base/Language/Reflection4,096
/usr/lib64/idris-0.9.9.1/base/Language/Reflection.ibc267,698
/usr/lib64/idris-0.9.9.1/base/Language/Reflection/Utils.ibc560,610
/usr/lib64/idris-0.9.9.1/base/Network4,096
/usr/lib64/idris-0.9.9.1/base/Network/Cgi.ibc517,170
/usr/lib64/idris-0.9.9.1/base/Prelude4,096
/usr/lib64/idris-0.9.9.1/base/Prelude.ibc1,194,954
/usr/lib64/idris-0.9.9.1/base/Prelude/Algebra.ibc806,758
/usr/lib64/idris-0.9.9.1/base/Prelude/Applicative.ibc75,691
/usr/lib64/idris-0.9.9.1/base/Prelude/Cast.ibc56,349
/usr/lib64/idris-0.9.9.1/base/Prelude/Chars.ibc58,656
/usr/lib64/idris-0.9.9.1/base/Prelude/Complex.ibc128,381
/usr/lib64/idris-0.9.9.1/base/Prelude/Either.ibc98,970
/usr/lib64/idris-0.9.9.1/base/Prelude/Fin.ibc246,481
/usr/lib64/idris-0.9.9.1/base/Prelude/Foldable.ibc89,105
/usr/lib64/idris-0.9.9.1/base/Prelude/Functor.ibc7,829
/usr/lib64/idris-0.9.9.1/base/Prelude/Heap.ibc492,998
Component of No Buildroots