type systems

Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)

tiny utility program for type-analysis of shell pipelines based on ladder-typing

Experimental type system and type inference algorithms