petr-typecheck 0.1.0

the typecheck stage of the petr compiler
Documentation