Compiling Agda code to readable Haskell
Primary LanguageAgdaMIT LicenseMIT
No one’s watching this repository yet.