Foundations of Computer Science Assignments using OCAML