λ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