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.
1AMB0A
Jump to navigation
Jump to search
- Note: The name is supposed to spell "Lambda".
1AMB0A is basically User:Hammy's version of binary lambda calculus.
Conversion
λ → 00
. → 0
(a b) → 10a0b01
Variables have to have binary names and be separated by 1, so 0001011010000101 is λx.λy.(x y)
Encoding
This is just a bunch of binary. Split it up into 8-bit chunks and encode them in ASCII.
Super Encoding
Same as normal, but you split into 16-bit chunks and encode in Unicode.
Examples
I, Identity (or sometimes Idiot)
The standard combinator I, equal to λx.x
Original
000100
Encoded, and also Super Encoded (not enough? add zeroes!)
this is actually the 4th unicode/ascii character. I tried using the html method and it couldn't display. please add it