Squarelang

From Esolang
Jump to navigation Jump to search
The title of this article is not correct because of technical limitations. The correct title is actually [lang].
This article is not detailed enough and needs to be expanded. Please help us by adding some more information.

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

Things

Square

is an identity function is a true function