Welcome

This is my personal site and blog. Why not read some of my posts?

• Nix in Two Days - January 29, 2015
• White paper: Compile Time TDD Coverage with Idris - May 3, 2014
• Adventures in Hoogling - March 31, 2014
• The Fool's Choice: A Tale of Two Types - February 28, 2014
• Arbitrary Fun: Generating User Profiles with QuickCheck - January 31, 2014
• Haskell Development with Cabal Sandboxes - January 10, 2014
• Compiled Heist: The Walkthrough - December 4, 2013
• The Great Template Heist - November 27, 2013
• Death and The Sound of Perseverance - October 31, 2013
• Striving for Correctness: A Case Study - September 25, 2013

...or check out the rest.