Homework

Problem Set ideas:

• ps1 introduction to functional programming using lists
• ps2 polymorphism (fold), creating types to model a problem
• ps3 proof by induction
• ps4 interpreter
• ??? real numbers
• ??? huffman trees, zip
• ps5 provably correct mutex
• ps6 extract from Coq a bot that plays Pokemon in the OCaml game