REverge

REverge (a deliberate typo for "revenge") is an esoteric programming language by ihope127 based on the concept of "data replacements". The syntax:

<program> ::= {<declaration> (<newline> | <comma>)}
<declaration> ::= <lowercase-letter> {<uppercase-letter> <letter> <letter>}

In this language, every value is a function. Functions represented by lowercase letters are defined in the program's source code, and functions represented by uppercase letters are special "constructor" functions. Applying a constructor to a value simply holds the value along with the constructor, not doing anything with it.

To be continued. It seems that `ki can only be defined recursively... oops.