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