-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2018-db77a2e3d8 2018-08-14 21:06:35.949388 --------------------------------------------------------------------------------
Name : idris Product : Fedora 28 Version : 1.3.0 Release : 4.fc28 URL : https://hackage.haskell.org/package/idris 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 http://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.
-------------------------------------------------------------------------------- Update Information:
Bring back the idris dependently typed programming language to Fedora - http ://idris-lang.org/ -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1594765 - Review Request: idris - Functional Programming Language with Dependent Types https://bugzilla.redhat.com/show_bug.cgi?id=1594765 --------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2018-db77a2e3d8' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys --------------------------------------------------------------------------------