We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Squarelang
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