May 17, 2018 The Hillelogram Verifier Rodeo I (LeftPad) Dec 24, 2017 Splitting and Splicing Intervals (Part 2) Dec 15, 2017 Splitting and Splicing Intervals (Part 1) Oct 6, 2016 Refinement Reflection on ADTs Sep 18, 2016 Haskell as a Theorem Prover
