agda2hs
agda2hs copied to clipboard
Consider using `ghc-source-gen`
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.