- 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