3 ms·
It's not hard to type in lambda calculus [1]: (λ (λ 2 1 (λ 1 (λ λ 1 2 (λ 1)) (λ λ 5 (2 1)) 3) 1) (λ λ 2 (3 2 1))) (λ λ 2 (2 (2 1))) [1] https://mindsarentmagi
by tromp 5y ago
It's not hard to type in lambda calculus [1]:
(λ (λ 2 1 (λ 1 (λ λ 1 2 (λ 1)) (λ λ 5 (2 1)) 3) 1) (λ λ 2 (3 2 1))) (λ λ 2 (2 (2 1)))
[1] https://mindsarentmagic.org/2012/11/22/lambda-graham https://mindsarentmagic.org/2012/11/22/lambda-graham
- dmonitor 5y agoit is when your keyboard doesn't have a lambda key
- richardfey 5y agoIt's just an ALT + 955 away!
- voldacar 5y agoalt 955 gives me ╗
- richardfey 5y agoThat should be 187: https://theasciicode.com.ar/extended-ascii-code/box-drawing-character-double-line-upper-right-corner-ascii-code-187.html https://theasciicode.com.ar/extended-ascii-code/box-drawing-...
- voldacar 5y agoboth 955 and 187 give me that character. I wonder if it has to do with the keyboard I'm using because 955 mod 256 = 187 and I'm using an old keyboard with a usb adapter, so it might be truncating to 8 bits for some reason
- alanbernstein 5y agoOf all the discussion of lambda calculus I've seen, this may be the most interesting bit. I've never really understood the purpose, not how to read it. This might actually encourage me to understand.
- lisper 5y agoYou might like this: https://flownet.com/ron/lambda-calculus.html https://flownet.com/ron/lambda-calculus.html Or the movie version: https://www.youtube.com/watch?v=8qC1iZN5ozw https://www.youtube.com/watch?v=8qC1iZN5ozw
- speed_spread 5y agoNow I just wanna play Half-Life