More

If you know the lambda calculus, click here to see a more
significative example of symbolic data manipulation using Caml: the
definition of lambda-terms with their associated lexical analyzer,
parser and printer, within about fifty lines of Caml code.