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