L
ladder-types

Projects with this topic

View lib-laddertypes project

Michael Sippel / lib-laddertypes

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

type systems type system ladder-types

0

Updated May 31, 2025

0 0 0 0

Updated May 31, 2025
View ltsh project

Michael Sippel / ltsh

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

static analysis shell shell script type systems ladder-types

0

Updated Oct 07, 2023

0 0 0 0

Updated Oct 07, 2023