{{language|Binary lambda calculus
|exec=interpreted
|site=http://tromp.github.io/cl/cl.html
|LCT=no
}}
{{language programming paradigm|functional}}
'''Binary Lambda Calculus''' is a minimal, pure, functional, esoteric language based on lambda calculus. [[provides::Capability:First class functions| ]]

==External links==
* https://tromp.github.io/cl/cl.html
* https://www.ioccc.org/2012/tromp/hint.html
* https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861

Some implementations of BLC:
* [https://www.ioccc.org/2012/tromp/hint.html original tromp's implementation] for IOCCC, in pure ANSI C
* [https://github.com/tromp/AIT tromp's AIT], a project utilizing BLC for Information Theory research. Also includes a Haskell->BLC compiler and several other implementations
* [https://codeberg.org/aartaka/cl-blc aartaka's cl-blc], implementing BLC in Lisp

==To do==
[[Tasks not implemented in Binary Lambda Calculus]]