1AMB0A

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