The Binary Lambda Calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004 [1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.
I hereby claim:
- I am tromp on github.
- I am tromp (https://keybase.io/tromp) on keybase.
- I have a public key whose fingerprint is 8CC0 CEF5 924F B634 C669 8AFC B7A2 C0F0 E0D4 468A
To claim this, I am signing this object: