This is a forked repository homework on functional programming course work at SPBSU. In the Lambda directory there is a template, which was used by participants for their tasks.

My task was to implement an OCaml interpreter with polymorphic types. The solution of the task can be found in OCamlPV.

All tasks can be found in tasks.md