Posts
- 13/04/2021 - Typing polymorphic variants in Giml
- 10/04/2021 - Typing extensible records in Giml
- 06/04/2021 - Giml's type inference engine
- 16/03/2021 - The bottom of the Haskell Pyramid
- 13/03/2021 - Strema is now Giml
- 11/03/2021 - fix by example
- 11/02/2021 - Live coding a compiler
- 15/01/2021 - A bulletin board website using Haskell, scotty and friends
- 29/12/2020 - Things I did in 2020
- 05/12/2020 - Building a Bulletin Board Using Scotty and Friends
- 01/10/2020 - Substitution and Equational Reasoning
- 28/04/2020 - Consider Haskell
- 06/04/2020 - My Side Projects Workflow
- 14/03/2019 - Compilers and Haskell
- 24/07/2018 - Purely Functional Games (in Haskell)
- 06/12/2017 - Reading Simple Haskell
- 25/04/2017 - Building Gathering: A Website For Announcing Group Events
- 14/10/2016 - Compiling Lisp to JavaScript From Scratch in 350 LOC
- 09/05/2016 - Ludum Dare 35 post-mortem and things I learned using PureScript
- 12/08/2015 - How Haskell models IO
- 04/07/2015 - Starting Elm
- 21/04/2015 - My weekend with Elm
- 25/02/2015 - Where to go after 'Learn You a Haskell For Great Good'?
- 01/09/2014 - My Take on Functional Programming