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. The implementations are minimal and contain code that is (hopefully) simple and clear. algorithm_w contains one of the most basic yet efficient implementation of Damas

