λ Magic's repositories
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
plfa.github.io
Introduction to programming language theory in Agda
presentations
Presentations on Liquid Haskell, type theory, and more
Programming language theory special interest group.
Gensokyo
Minimal implementations for dependent type checking and elaboration
Introduction to programming language theory in Agda
Presentations on Liquid Haskell, type theory, and more