wort (racket): A tiny concatenative language with polymorphic type inference
Keywords: inference|lang|types|unification|concatenative|racket-lang|type-inference