wort

A tiny concatenative language with polymorphic type inference


Keywords
inference, lang, types, unification, concatenative, racket-lang, type-inference
License
Other