rusttyc 0.4.1

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