Squarelang

The title of this article is not correct because of technical limitations. The correct title is actually [lang].

[lang] is a programming language that uses squares and arrows to do lambda calculus

Things

Square

is an identity function is a true function