Login
From:
agda.readthedocs.io
(Uncensored)
subscribe
What is Agda? — Agda 2.8.0 documentation
https://agda.readthedocs.io/en/latest/getting-started/what-is-agda.html
links
backlinks
Dependent types
Roast topics
Find topics
Find it!
