Esoteric programming language I made called poplang:

Info

Rules

These are the rules of Poplang

>(a) = a
a = (a) or >a or  or (ab) or >
b = (b) or >b or  or (ba) or >
(a)(b) = (ab)
(>)(a) = >a