Q is a powerful and extensible functional programming language based on the term rewriting calculus. When programming with Q, you specify a system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced applications, and also as a sophisticated kind of desktop calculator. The distribution includes the Q programming tools, a standard library, add-on modules for interfacing to various third-party libraries, and an Emacs mode.
