Type Systems Thunderseethe's Devlog Series on Making a Language LLVM LLVM Language Reference Manual LLVM API Reference Official LLVM Kaleidoscope Tutorial isuckatcs: How to Compile your Language Parsing Compiling to Assembly from Scratch: Chapter 5: Parser Combinators Proof Assistants Functional Programming in Lean Theorem Proving in Lean4 The Lean Language Reference The Mechanics of Proof The Hitchhiker's Guide to Logical Verification Certified Programming with Dependent Types Neovim Lean Abbreviations