Language

Package agda-ial @ 1.5.0

Synopsis

The Iowa Agda Library

Description

The goal is to provide a concrete library focused on verification examples, as opposed to mathematics. The library has a good number of theorems for booleans, natural numbers, and lists. It also has trees, tries, vectors, and rudimentary IO. A number of good ideas come from Agda's standard library.

Home page
https://github.com/cedille/ial
Location
gnu/packages/agda.scm (line: 164, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings