https://github.com/remulang/proud

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

first-class-polymorphisms interactively-static-checking programming-language row-polymorphism traits type-inference

Last synced: 12 Mar 2026