bock-types 0.1.0

Type system, type checking, and inference for the Bock language
Documentation