GitHub repository: pmbittner/agda2hs
Description: Compiling Agda code to readable Haskell