This project contains examples and exercises to
The Functional Appoach to Programming - Guy Cousineau Michel Mauny