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