tactic-haskell icon indicating copy to clipboard operation
tactic-haskell copied to clipboard
verified publisher icon TOTBWF

Consider using th-desugar

Open TOTBWF opened this issue 6 years ago • 0 comments

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.

TOTBWF avatar Apr 05 '19 20:04 TOTBWF