devlibrary
Categories
/ Agda
Learn you An Agda And Achieve Enlightenment
by
Liam O'Connor-Davis
Agda
Functional programming
Read
Programming Language Foundations in Agda
by
Philip Wadler
Agda
Functional programming
Read