**This is an old revision of the document!**

# SAV07 Homework 1

Here is the Homework 1 PDF (with some corrected typos).

Here are some example ocaml programs that may help you get started with using ocaml (but see also http://caml.inria.fr/ ). Please remove the .txt extension when saving the file.

Note that you will need to use a slightly different syntax tree compared to one in formulas.ml, because the quantifiers in your homework are bounded.

See also Notes on Context-Free Grammars.

SAV07 Homework 1 Solution will be available only after the due date.