devlibrary
Authors
/ Philip Wadler
Programming Language Foundations in Agda
by
Philip Wadler
Agda
Functional programming
Read