tt101
An introduction to dependent types with Agda.
Integers, booleans, lists, vectors and their properties.
Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties
An introduction to dependent types with Agda.
Integers, booleans, lists, vectors and their properties.
Type-theory 101. Integers, booleans, lists, vectors and some proofs about their properties