/agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.