Learn you An Agda And Achieve Enlightenment Agda Functional programming

Programming Language Foundations in Agda Agda Functional programming