# packages

pkgId: 2fcc62311c57dd227fc45a02b0e3e9cce4caaecebcbc0d02d9c725d4dfcf8ac1
name: idris
arch: src
version: 1.3.0
epoch: 0
release: 1.el7
summary: Functional Programming Language with Dependent Types
url: https://hackage.haskell.org/package/idris
rpm_license: BSD
rpm_group: Unspecified
rpm_buildhost: a0bf5c8f09214dee83a6bc31572c6d2c
location_href: 00770407-idris/idris-1.3.0-1.el7.src.rpm
checksum_type: sha256
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.


