MODAL
A term rewriting language created by Immediate Mode Technologies (imode).

The interpreter is about 400 lines of Python. The semantics are supposed to be
simple for easy implementation. Evaluation order is pretty straight forward
also.

SIMPLE EXAMPLES

A list is whatever you want, so let's go with something traditional:
....
(1 : (2 : (3 : nil) ) )
....

Reverse a list:
....
(reverse (?hacc : ?acc) nil) -> ((?hacc : ?acc))
(reverse (?acc) (?head : ?rest)) -> (reverse (?head : ?acc) ?rest)
(reverse (?hacc : ?acc) (?head : ?rest)) -> (reverse (?head : (?hacc : ?acc)) ?rest)
....