The Pure Programming Language
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.
Please check our website at purelang.bitbucket.org for more information. Previous releases are available from the old Pure website at GoogleCode. The Pure Language and Library Documentation is available in html and pdf format. Ubuntu packages for all things Pure can be found at Launchpad. Please also check our mailing list / Google group and IRC chat if you need any help or if you want to discuss Pure.