Programming Language Foundations in Agda
Dependently Typed Programming in Agda
Last updated 7 years ago