#executable

• Dependent types to code are what static types to data - September 4, 2020
• Modeling state machines with dependent types in Haskell: Part 1 - June 29, 2020
• Haskell — a higher order language - March 15, 2020