Writing a Template Haskell library for GHC.Proof
Posted on September 16, 2017, by joomy, in: haskell, tutorial
GHC.Proof is a great hack and I wanted to add another hack on top of it. It is simple enough that it could serve as a Template Haskell tutorial for others.