K 10 svn:author V 3 wen K 8 svn:date V 27 2011-03-21T06:14:38.000000Z K 7 svn:log V 500 Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code. WWW: https://code.google.com/p/pure-lang/ PR: ports/155647 Submitted by: Zhihao Yuan END