Pure, a functional programming language based on term rewriting

agraef.github.io