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) ....