/tt101

Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties

Primary LanguageAgda

tt101

An introduction to dependent types with Agda.

Integers, booleans, lists, vectors and their properties.