agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Consider using `ghc-source-gen`

Open flupe opened this issue 1 year ago • 0 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.

flupe avatar Jan 30 '24 12:01 flupe