Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

pure 0.68 Pure programming Language

pure is a 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 a C interface.