Blog posts

• After ICFP 2018. September 30, 2018.
  I spent a week at the main functional programming conference and got to talk to my heroes, so here are some reflections.
• 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.
• Starting a Haskell student forum at Wesleyan. June 1, 2015.
  I will be giving lectures on Functional Programming in Haskell next semester.
• An impractical pseudo-Prolog. December 5, 2014.
  I built a pseudo-Prolog that tries to answer queries by building the least Herbrand model, as a final project for a class. I chose to build it in Haskell to take advantage of lazy evaluations, but even then I couldn't handle infinite sets.
• Hakyll seems awesome. November 22, 2014.
  I started a blog with Hakyll.