patrimThe Patrim term rewriting languagepatrimtermrewritingprogramming language0.0.11 • Published 1 month ago