Rules for checking a simple subtyping system
Primary LanguageProlog
No issues in this repository yet.