Books by Liam O'Connor-Davis

📖

Learn you An Agda And Achieve Enlightenment Agda Functional programming