3 ms·That bit-encoded lambda calculus is nuts!by titzer 4y agoThat bit-encoded lambda calculus is nuts!