tag: type inference

This repository contains implementations of different type systems in OCaml. It is meant to help out anyone who wants to learn more about advanced type systems and type inference or experiment by extending or implementing their own.