TOTBWF/tactic-haskell

Consider using th-desugar

Opened this issue · 0 comments

TOTBWF commented

As it stands, quite a bit of the work involved in implementing new features is mucking around with odd TemplateHaskell representations. Using th-desugar could really cut down on a lot of the work required.