See: Description
Folder containing generation files (inputs to DemFGen) and a simple make script for the DemeterF TypeChecker implementation.