Articles

Normal Forms
Posted October 11, 2020
Discovering DataKinds at Runtime
Posted May 4, 2019
Backwards Compatible Configuration with Constraint Kinds
Posted April 16, 2019
Scrap Your Constructors: Church Encoding Algebraic Types
Posted November 7, 2016