Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: idris | Distribution: Fedora Project |
Version: 0.9.9.1 | Vendor: Fedora Project |
Release: 2.el7 | Build date: Sun Dec 4 02:07:10 2016 |
Group: Unspecified | Build host: buildvm-ppc64le-08.ppc.fedoraproject.org |
Size: 74087244 | Source RPM: idris-0.9.9.1-2.el7.src.rpm |
Packager: Fedora Project | |
Url: http://hackage.haskell.org/package/idris | |
Summary: Functional Programming Language with Dependent Types |
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 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.
BSD
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.9.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sat Oct 05 2013 Jens Petersen <petersen@redhat.com> - 0.9.9.1-1 - update to 0.9.9.1 - depends on ansi-terminal and time * Fri Oct 04 2013 Jens Petersen <petersen@redhat.com> - 0.9.9-1 - update to 0.9.9 http://www.idris-lang.org/idris-0-9-9-released/ - disable LLVM backend for now - depends on vector-binary-instances - buildrequires gc-devel * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.8-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Tue Jul 09 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-3 - use cabal_configure_extra_options to set datadir (#947819) - add a comment about the devel files in the main package (#947819) * Mon Jul 08 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-2 - install idris devel data files under libdir (#947819) * Mon Jul 01 2013 Jens Petersen <petersen@redhat.com> - 0.9.8-1 - update to 0.9.8 - http://idris-lang.org/archives/272 * Sat Apr 06 2013 Jens Petersen <petersen@redhat.com> - 0.9.7-2 - requires gcc * Wed Apr 03 2013 Jens Petersen <petersen@redhat.com> - 0.9.7-1 - spec file regenerated with cabal-rpm-0.8.0 * Sat Feb 25 2012 Jens Petersen <petersen@redhat.com> - 0.9.1-1 - update to 0.9.1 * Fri Jan 27 2012 Jens Petersen <petersen@redhat.com> - 0.9.0-1 - BSD license * Fri Jan 27 2012 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - spec file template generated by cabal2spec-0.25.4
/usr/bin/idris /usr/lib64/idris-0.9.9.1 /usr/lib64/idris-0.9.9.1/base /usr/lib64/idris-0.9.9.1/base/Builtins.ibc /usr/lib64/idris-0.9.9.1/base/Control /usr/lib64/idris-0.9.9.1/base/Control/Arrow.ibc /usr/lib64/idris-0.9.9.1/base/Control/Catchable.ibc /usr/lib64/idris-0.9.9.1/base/Control/Category.ibc /usr/lib64/idris-0.9.9.1/base/Control/IOExcept.ibc /usr/lib64/idris-0.9.9.1/base/Control/Monad /usr/lib64/idris-0.9.9.1/base/Control/Monad/Identity.ibc /usr/lib64/idris-0.9.9.1/base/Control/Monad/State.ibc /usr/lib64/idris-0.9.9.1/base/Data /usr/lib64/idris-0.9.9.1/base/Data/Bits.ibc /usr/lib64/idris-0.9.9.1/base/Data/BoundedList.ibc /usr/lib64/idris-0.9.9.1/base/Data/HVect.ibc /usr/lib64/idris-0.9.9.1/base/Data/Mod2.ibc /usr/lib64/idris-0.9.9.1/base/Data/Morphisms.ibc /usr/lib64/idris-0.9.9.1/base/Data/Sign.ibc /usr/lib64/idris-0.9.9.1/base/Data/SortedMap.ibc /usr/lib64/idris-0.9.9.1/base/Data/SortedSet.ibc /usr/lib64/idris-0.9.9.1/base/Data/Vect /usr/lib64/idris-0.9.9.1/base/Data/Vect.ibc /usr/lib64/idris-0.9.9.1/base/Data/Vect/Quantifiers.ibc /usr/lib64/idris-0.9.9.1/base/Data/ZZ.ibc /usr/lib64/idris-0.9.9.1/base/Debug /usr/lib64/idris-0.9.9.1/base/Debug/Trace.ibc /usr/lib64/idris-0.9.9.1/base/Decidable /usr/lib64/idris-0.9.9.1/base/Decidable/Decidable.ibc /usr/lib64/idris-0.9.9.1/base/Decidable/Equality.ibc /usr/lib64/idris-0.9.9.1/base/Decidable/Order.ibc /usr/lib64/idris-0.9.9.1/base/IO.ibc /usr/lib64/idris-0.9.9.1/base/Language /usr/lib64/idris-0.9.9.1/base/Language/Reflection /usr/lib64/idris-0.9.9.1/base/Language/Reflection.ibc /usr/lib64/idris-0.9.9.1/base/Language/Reflection/Utils.ibc /usr/lib64/idris-0.9.9.1/base/Network /usr/lib64/idris-0.9.9.1/base/Network/Cgi.ibc /usr/lib64/idris-0.9.9.1/base/Prelude /usr/lib64/idris-0.9.9.1/base/Prelude.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Algebra.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Applicative.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Cast.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Chars.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Complex.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Either.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Fin.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Foldable.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Functor.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Heap.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/List.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Maybe.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Monad.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Nat.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Strings.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Traversable.ibc /usr/lib64/idris-0.9.9.1/base/Prelude/Vect.ibc /usr/lib64/idris-0.9.9.1/base/Providers.ibc /usr/lib64/idris-0.9.9.1/base/System /usr/lib64/idris-0.9.9.1/base/System.ibc /usr/lib64/idris-0.9.9.1/base/System/Concurrency /usr/lib64/idris-0.9.9.1/base/System/Concurrency/Process.ibc /usr/lib64/idris-0.9.9.1/base/System/Concurrency/Raw.ibc /usr/lib64/idris-0.9.9.1/base/Uninhabited.ibc /usr/lib64/idris-0.9.9.1/effects /usr/lib64/idris-0.9.9.1/effects/Effect /usr/lib64/idris-0.9.9.1/effects/Effect/Exception.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/File.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/Memory.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/Random.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/Select.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/State.ibc /usr/lib64/idris-0.9.9.1/effects/Effect/StdIO.ibc /usr/lib64/idris-0.9.9.1/effects/Effects.ibc /usr/lib64/idris-0.9.9.1/executable_pom.xml /usr/lib64/idris-0.9.9.1/javascript /usr/lib64/idris-0.9.9.1/javascript/JavaScript /usr/lib64/idris-0.9.9.1/javascript/JavaScript.ibc /usr/lib64/idris-0.9.9.1/javascript/JavaScript/JSON.ibc /usr/lib64/idris-0.9.9.1/js /usr/lib64/idris-0.9.9.1/js/Runtime-browser.js /usr/lib64/idris-0.9.9.1/js/Runtime-common.js /usr/lib64/idris-0.9.9.1/js/Runtime-node.js /usr/lib64/idris-0.9.9.1/llvm /usr/lib64/idris-0.9.9.1/llvm/libidris_rts.a /usr/lib64/idris-0.9.9.1/rts /usr/lib64/idris-0.9.9.1/rts/idris_bitstring.h /usr/lib64/idris-0.9.9.1/rts/idris_gc.h /usr/lib64/idris-0.9.9.1/rts/idris_gmp.h /usr/lib64/idris-0.9.9.1/rts/idris_heap.h /usr/lib64/idris-0.9.9.1/rts/idris_main.c /usr/lib64/idris-0.9.9.1/rts/idris_opts.h /usr/lib64/idris-0.9.9.1/rts/idris_rts.h /usr/lib64/idris-0.9.9.1/rts/idris_stats.h /usr/lib64/idris-0.9.9.1/rts/idris_stdfgn.h /usr/lib64/idris-0.9.9.1/rts/libidris_rts.a /usr/lib64/idris-0.9.9.1/rts/libtest.c /usr/share/doc/idris-0.9.9.1 /usr/share/doc/idris-0.9.9.1/LICENSE /usr/share/doc/idris-0.9.9.1/tutorial /usr/share/doc/idris-0.9.9.1/tutorial/examples /usr/share/doc/idris-0.9.9.1/tutorial/examples/binary.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/bmain.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/btree.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/classes.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/foo.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/hello.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/idiom.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/interp.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/letbind.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/prims.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/theorems.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/universe.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/usefultypes.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/vbroken.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/views.idr /usr/share/doc/idris-0.9.9.1/tutorial/examples/wheres.idr
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 13:02:50 2024