Posts

• 2023-09-30 - Implementing kind inference
• 2022-04-24 - Build a bulletin board using twain and friends
• 2021-09-23 - A new project-oriented Haskell book
• 2021-08-14 - Core Haskell tools
• 2021-04-13 - Typing polymorphic variants in Giml
• 2021-04-10 - Typing extensible records in Giml
• 2021-04-06 - Giml's type inference engine
• 2021-03-11 - fix by example
• 2020-12-05 - Build a bulletin board using scotty and friends
• 2020-10-01 - Substitution and Equational Reasoning
• 2019-03-14 - Compilers and Haskell
• 2017-12-06 - Reading Simple Haskell
• 2016-10-14 - Compiling Lisp to JavaScript from scratch in 350 LOC
• 2015-08-12 - How Haskell models IO
• 2015-02-25 - Where to go after 'Learn You a Haskell For Great Good'?