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. A very complete and up-to-date collection of packages for Arch Linux are available from the Arch User Repositories, please also check our Arch Packaging Guide for details. We also offer a reasonably complete set of Ubuntu packages at Launchpad. Please also have a look at our mailing list / Google group and IRC chat if you need any help or if you want to discuss Pure.
Please also check my personal Bitbucket site for some fun side projects that I've written in or for Pure (mostly about computer music and multimedia).
Albert Gräf email@example.com