Typecheckers built for fun| sdiehl.github.io
Lowering our typed base AST into a System-F based IR| thunderseethe's devlog
What got done in 2024| wiki.alopex.li
Designing a language, types first| thunderseethe.dev
Extracting a Verified Interpreter from Isabelle/HOL| concerningquality.com