Reimplementing Hackett’s type language: expanding to custom core forms in Racket| lexi-lambda.github.io
An opinionated guide to Haskell in 2018| lexi-lambda.github.io
Hackett progress report: documentation, quality of life, and snake| lexi-lambda.github.io