Language

Package: idris @ 1.3.3

Synopsis

General purpose language with full 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.

Home page
https://www.idris-lang.org
Location
gnu/packages/idris.scm (line: 39, column: 2)
License

Lint warnings

LinterMessageLocation
formatting

Look for formatting issues in the source

line 104 is way too long (93 characters)