λ Magic

Books on programming language theory and linguistics in general.

Haskell 56 8 0 0 Updated Jul 16, 2021

Minimal implementations for dependent type checking and elaboration

Haskell 0BSD-3-Clause 50 0 0 Updated Dec 7, 2020

Introduction to programming language theory in Agda

Agda 0CC-BY-4.0 354 0 0 Updated Oct 7, 2020

SPLV20 Public Forked from edwinb/SPLV20

SPLV20 course notes

Idris 0 36 0 0 Updated Aug 20, 2020

Presentations on Liquid Haskell, type theory, and more

Haskell 0BSD-3-Clause 1 0 0 Updated Jan 28, 2020

Experimental implementation of Cubical Type Theory

Haskell 0MIT 75 0 0 Updated Mar 24, 2019

Navigation Menu