Storyyeller / polysubml-demo

A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
43Updated 2 months ago

Alternatives and similar repositories for polysubml-demo:

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