A experimentation lab for term-rewrite systems
Primary LanguageJava
No issues in this repository yet.