rusttyc 0.4.2

A library for writing type checkers with a lattice-like type system in rust.
Documentation