Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more
The Linux Portal Site
Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read moreAgda 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