Pure is a functional programming language based on term rewriting. Its core is actually purely algebraic and purely functional, but the name can also be taken as a recursive acronym for the "Pure Universal Rewriting Engine." Pure has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages