agda / agda2hs

Compiling Agda code to readable Haskell

Home Page:https://agda.github.io/agda2hs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Consider using `ghc-source-gen`

flupe opened this issue · comments

We currently rely on haskell-src-exts. It doesn't support all modern Haskell syntax, is barely maintained and only offers a String pretty-printer.

We may be interested in using this library instead: https://github.com/google/ghc-source-gen.