CLiki for the TUNES project
based on term
. It also happens to be dynamically-typed, a rarity for this kind of language, and supports the manipulation of expressions symbolically.
Q - Equational Programming Language
Albert Gräf's Homepage
, the author of Q.