λ Magic
Programming language theory special interest group.
Pinned
Repositories
Showing 6 of 6 repositories
- elaboration-zoo Public Forked from AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
- plfa.github.io Public Forked from plfa/plfa.github.io
Introduction to programming language theory in Agda
-
- presentations Public Forked from nikivazou/presentations
Presentations on Liquid Haskell, type theory, and more
-
