λm.me/blog

Posts

  • 2023-10-05 - An alternative frontend for Haskell?
  • 2023-09-30 - Implementing kind inference
  • 2023-07-01 - Why I use the Twain web framework
  • 2022-12-17 - sqlite-easy: A primitive yet easy to use sqlite library
  • 2022-12-13 - 7 things I learned from Haskell
  • 2022-04-24 - Build a bulletin board using twain and friends
  • 2021-12-25 - Things I worked on in 2021
  • 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-16 - The bottom of the Haskell Pyramid
  • 2021-03-13 - Strema is now Giml
  • 2021-03-11 - fix by example
  • 2021-02-11 - Live coding a compiler
  • 2021-01-15 - A bulletin board website using Haskell, scotty and friends
  • 2020-12-29 - Things I worked on in 2020
  • 2020-12-05 - Build a bulletin board using scotty and friends
  • 2020-10-01 - Substitution and Equational Reasoning
  • 2020-04-28 - Consider Haskell
  • 2019-03-14 - Compilers and Haskell
  • 2018-07-24 - Purely Functional Games (in Haskell)
  • 2017-12-06 - Reading Simple Haskell
  • 2017-04-25 - Building Gathering: a website for announcing group events
  • 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'?
Feed
Powered by Hablog