Books in Agda

2 books

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