-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-18372 2013-10-06 00:19:12 --------------------------------------------------------------------------------
Name : idris Product : Fedora 19 Version : 0.9.9 Release : 1.fc19 URL : http://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 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. -------------------------------------------------------------------------------- Update Information: - update idris to 0.9.9 - http://www.idris-lang.org/idris-0-9-9-released - new dependency: library for binary and cereal vector instances -------------------------------------------------------------------------------- ChangeLog: * Fri Oct 4 2013 Jens Petersen <[email protected]> - 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 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1007152 - Review Request: ghc-vector-binary-instances - Binary and Serialize instances for vector https://bugzilla.redhat.com/show_bug.cgi?id=1007152 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update idris' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
