3 ms·
> it's just a lot harder to right a self-interpreter in lambda calc. Here's one for the http://en.wikipedia.org/wiki/Binary_lambda_calculus http://en.wikipedia
by tromp 12y ago
> it's just a lot harder to right a self-interpreter in lambda calc.
Here's one for the http://en.wikipedia.org/wiki/Binary_lambda_calculus http://en.wikipedia.org/wiki/Binary_lambda_calculus, all of 29 bytes long, including parsing:
0101000110100000000101011000000000011110000101111110011110
0001011100111100000011110000101101101110011111000011111000
0101111010011101001011001110000110110000101111100001111100
0011100110111101111100111101110110000110010001101000011010