Archive

2017

August

• August 9, 2017 » Two enumerations

March

• March 1, 2017 » Recursion with types

2016

August

• August 26, 2016 » A far fetched analogy

June

• June 17, 2016 » Practical type classes

March

• March 28, 2016 » Comments on Simplicity