An equational rewriting system written in xml and xslt.
Primary LanguageXSLT
No issues in this repository yet.