A workshop on learning Agda with minimal prerequisites.
Primary LanguageAgda
No issues in this repository yet.