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