GitHub topics: ladder-types
michaelsippel/lib-laddertypes
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Language: Rust - Size: 323 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
michaelsippel/ltsh
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Language: Rust - Size: 41 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0