name: idris
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&#39;s behaviour can be
specified precisely in the type. The language is closely
related to Epigram and Agda. There is a tutorial at
https://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
license_spdx: BSD-3-Clause
version: 0.12.2
spec_version: 1.0
download_url: http://hackage.haskell.org/package/idris-0.12.2/idris-0.12.2.tar.gz
home_url: 
                https://www.idris-lang.org/
              
news_url: https://libraries.io/hackage/idris/versions.atom
date: 2016-08-04
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/idris?number=0.12.2
vcs_tool: git
vcs_repository: https://github.com/idris-lang/Idris-dev
vcs_branch: master
