← Back to books

λ

Book details

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Categories Agda , Functional programming

Read this book

Keep exploring

Other books like this

Programming Language Foundations in Agda Philip Wadler
COMMON LISP: A Gentle Introduction to Symbolic Computation David S. Touretzky
Control Structures in Programming Languages Xavier Leroy
Functional Data Structures and Algorithms: A Proof Assistant Approach Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan

A hand-maintained list of free technical books.

Books Categories

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect