Software
Left distributivity:
Polish Algorithm (perl)
Left Distributivity (perl/Tk)
Laver Tables