PIXELSNAP coming soon

mr_owlssssnap2 · March 30, 2022, 9:52pm

Do you think you can recreate that string as blocks?
??

bhenrique · March 30, 2022, 10:07pm

Yes but you have to use the call function

mr_owlssssnap2 · March 30, 2022, 10:49pm

ok, also next time can you reply to me so i know?

bhenrique · March 31, 2022, 12:11am

Yes definitely!

warped_wart_wars · March 31, 2022, 1:26am

I can:

(λs.(s s) λx.x)

which gives

(λx.x λx.x)

which gives

λx.x

mr_owlssssnap2 · March 31, 2022, 1:47pm

you win i have no idea what that means

sladescar · March 31, 2022, 2:42pm

UPDATE: the snap book is now PIXELSNAP

mr_owlssssnap2 · March 31, 2022, 2:47pm

ok!

warped_wart_wars · April 1, 2022, 3:04am

The ss in (s s) get replaced with the λx.x, and the λs. is removed, thus (λx.x λx.x). That's the first step.

mr_owlssssnap2 · April 1, 2022, 2:04pm

what

warped_wart_wars · April 1, 2022, 10:51pm

Maybe I should make an animation...but I don't know how.

d4s_over_dt4 · February 7, 2023, 8:07am

Small necro:the python lambda is considered broken but it is still functional
If you really want lambdas go snap,scheme,or haskell