definition:
A dynamically typed, functional programming language based on term rewriting that facilities for user-defined operator syntax, macros, arbitrary-precision arithmetic (multiple-precision numbers), and compiling to native code through the LLVM.