rusttyc 0.3.0

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

RustTypeChecker

An interface for writing a type checker in rust.