What is Agda? — Agda 2.8.0 documentation
Dependent types
| agda.readthedocs.io
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
