/simple-lambda-prolog

A simple λProlog interpreter

Primary LanguageOCamlMIT LicenseMIT

No issues in this repository yet.