HarvardPL/dminor-in-formulog
A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.
JavaApache-2.0
No issues in this repository yet.
A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.
JavaApache-2.0
No issues in this repository yet.