Home

Title
Date
A Typed Socket API
December 2, 2017
Applicatives and Alternatives
April 21, 2017
Reading Types (in progress!!)
April 21, 2017
Smaller Types, Happier Programs
January 6, 2017
Writing a Search DSL, Part 1
January 27, 2016
Terms and Boundaries for my Works
October 17, 2015
Notes on - Name and Marker Change in Austin, TX
October 16, 2015
Queer Types - The Business
October 16, 2015
GHC base Library Changes - 7.8 to 7.10
October 4, 2015
Archive