Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Top-level
Devine Lu Linvega

@pixelherodev np! I'm updating cabal in the background right now so I can try it out, but it's taking for-ever D:

I'll try to answer your questions once it's finished and I get it up.

9 Apr 2023 at 1:24 | Open on merveilles.town
2 comments
DELETED

@neauoire No worries, I need to read up more on lambda calculus anyways! :)

9 Apr 2023 at 1:30 | Open on fosstodon.org
DELETED

@neauoire

[[1]] is-true is-false
⤳ [is-true] is-false
⤳ is-true

[[0]] is-true is-false
⤳ [0] is-false
⤳ is-false

I'm reading [[1]] as "a 2-func which evaluates to its second argument", and [[0]] as "a 2-func which evaluates to its first argument", so I'm guessing the arguments are in reverse order? hence, [[1]] is-true is-false evaluates to is-true, which is actually its second argument?

But, even if so, the `[[0]] is-true is-false` -> `[0] is-false` reduction lost me :/

@neauoire

[[1]] is-true is-false
⤳ [is-true] is-false
⤳ is-true

[[0]] is-true is-false
⤳ [0] is-false
⤳ is-false

I'm reading [[1]] as "a 2-func which evaluates to its second argument", and [[0]] as "a 2-func which evaluates to its first argument", so I'm guessing the arguments are in reverse order? hence, [[1]] is-true is-false evaluates to is-true, which is actually its second argument?

9 Apr 2023 at 2:38 | Open on fosstodon.org
Go Up