Book details Learn you An Agda And Achieve Enlightenment by Liam O'Connor-Davis Topics: Agda , Functional programming