GitHub repository: 2kodevs/TypeInferencer
Primary language: Python
Created: 2019-06-03T18:30:45Z
Description: A desktop app that checks if a COOL program with AUTO_TYPE new add-on for type inference is correct.