GitHub repository: sourceCode4/agda2hs
Primary language: Agda
Description: Compiling Agda code to readable Haskell