Some Hope examples
Ross Paterson
The Factorial Function
Fibonacci Numbers
Breadth-first tree traversal
Symbolic Boolean Expressions
Ross Paterson <ross@soi.city.ac.uk>