An implementaion of OCaml mini-language

This is a homework for functional programming course.

License: LGPL for implementation code + WTFPL for test examles in miniLanguage

Author: David Akhmedov, [email protected]

Features done:

• Support of pattern matching, lists, tuples, first order functions, primitive types: bool and int.
• Parser
• Interpreter
• Inferencer

Running:

1. dune build
2. dune exec demo
3. Type your OCaml code!