rusttyc 0.2.1

A library for writing type checkers with a lattice-like type system in rust. Provides a simple and intuitive interface to an underlying union-find implementation.
Documentation