GitHub repository: mauny/the-functional-approach-to-programming
Primary language: OCaml
Description: Programs that are used in the Cousineau/Mauny books