Compiling Agda code to readable Haskell
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.