simPL extended with Relational Algebra capabilities
Primary LanguageOCaml
No issues in this repository yet.