Ltsh is a tiny utility program for type-analysis of shell pipelines based on ladder types.
In order to implement complex datastructures and algorithms, usually many layers of abstraction are built ontop of each other. Consequently higher-level data types are encoded into lower-level data types, forming a chain of embeddings from concept to `rock bottom' of...