Discrete Mathematics and Functional Programming

This might interest people:
Discrete Mathematics and Functional Programming