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)
formatting

Look for formatting issues in the source

line 105 is way too long (100 characters)
formatting

Look for formatting issues in the source

line 102 is way too long (100 characters)