nova-typeck 0.3.2

The Nova language's type checker (internal to the nova toolchain)
Documentation