#haskell

• What I wish somebody told me when I was learning Haskell - April 21, 2021
• 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
• Using dependent types in Haskell with singletons - May 17, 2020
• Why use advanced Haskell types? - April 29, 2020
• Haskell — a higher order language - March 15, 2020