Blog posts

• Writing a Template Haskell library for GHC.Proof. September 16, 2017.
  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.