Trivial verifier for IMP language. Language Theory homework
Primary LanguageScala
No issues in this repository yet.