Storyyeller / polysubml-demo

A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
42Updated last month

Alternatives and similar repositories for polysubml-demo:

Users that are interested in polysubml-demo are comparing it to the libraries listed below