Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more
Tag: Agda
4 Excellent Free Books to Learn Agda and Type Theory
Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read more