Agda is a dependently typed functional programming language based on intuitionistic type theory.
Read more![Programming Tutorials](https://i0.wp.com/www.linuxlinks.com/wp-content/uploads/2021/07/Na_Nov_02.jpg?resize=300%2C240&ssl=1)
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