Compiling Agda code to readable Haskell
Primary LanguageHaskellMIT LicenseMIT
This repository is not active