CTM Wiki

Description
A wiki for people interested in the book Concepts, Techniques, and Models of Computer Programming, by Peter van Roy and Seif Haridi.