/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.

Primary LanguageJavaApache License 2.0Apache-2.0

Watchers