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