Writings

• Agda Quickstart Guide - Jun 15, 2012
• Categorical Programming: Introduction - September 8, 2012
• Categorical Programming: Morphisms - September 9, 2012
• Categorical Programming: Functors - September 10, 2012
• A Haskell Reading List - August 15, 2012
• Nginx Socket.IO Proxy - September 8, 2012
• Tipy: A Simple Python Preprocessor - August 6, 2012
• Haskell Types for Python Programmers ( Part 1 ) - November 19, 2012