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
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool