λm.me/blog

Posts

  • 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
  • 2020-04-06 - My side projects workflow
Feed
Powered by Hablog