A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference - View it on GitHub
Star
68
Rank
413082