Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=947819 Bug ID: 947819 Summary: Review Request: idris - Functional Programming Language with Dependent Types Product: Fedora Version: rawhide Component: Package Review Severity: unspecified Priority: unspecified Assignee: nobody@xxxxxxxxxxxxxxxxx Reporter: petersen@xxxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Category: --- Spec URL: http://petersen.fedorapeople.org//idris.spec SRPM URL: http://petersen.fedorapeople.org//idris-0.9.7-1.fc18.src.rpm 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. -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=R9CISKEJan&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review