agda-attic/agda-ghc-names

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

语言：Haskell · GitHub 星标：4 · Fork：1

在 GitHub 上查看原仓库