a collection of compilers I've written from time to time
Primary LanguageAgda
No issues in this repository yet.