Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook:
Ocaml Tutorial 22 33 Labelled - Detailed Analysis & Overview
My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
