A repository for code written as I explore type theory.
I recently finished reading The Little Typer. I am starting my journey into type theory by using the language Pie that the book constructs, trying some very basic proofs on my own.
I just started reading Programming Language Foundations in Agda. I'll be doing at least some of the exercises.