# The type checker for JGS

The front-end is still work-in-progress. There are some tests on
programmatically constructed CFGs in the
test/de/unifreiburg/cs/proglang/jgs/typing directory.

Add a readme for the type-checker
Add a readme for the type-checker
