typecheck Directory Reference

Directory dependency graph for typecheck:

Files
	BiTypeChecker.h
	Defines the BiTypeCheckerVisitor, consist of the flow for Bi-Directional Type checking, which allows for synthesizing types, validating consistency, and register types.
	Types.h
	Defines the core Type system for Sammine.