Dan's Brain

Programming Language Foundation in Agda

book

Philip Wadler, Programming Language Foundation in Agda, (github)

Links to this note