Pure is a modern-style functional programming language based on term rewriting, slated to become the much improved successor of the author's Q language. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code.