/agda2hs

Compiling Agda code to readable Haskell

Primary LanguageAgdaMIT LicenseMIT

Watchers