/lmu-WiSe2017-18-prolog-type-system

Implementation of a small type system for the Prolog programming language

Primary LanguagePrologGNU General Public License v3.0GPL-3.0

lmu-WiSe2017-18-prolog-type-system

Implementation of a small type system for the Prolog programming language