ok,continue
I don't have time on holidays
thats werid
bc im not watching boring sky class
i have trouble naming this
also,does my identy function mispell?
I'd call it self apply.
"Identity"
okay
i have trouble on numbers because i completely forgot church numerals in the past year :C
but good news is,logic ops done
Great, you can enjoy learning it again! :~)
okay and i am asking you for a pdf that tells me what is a church numeral
Oh i see a starter project
but i dont see how to open the link
Poof!
Snap! did you a favor and got rid of the number ring.
Ex. 1: Convince yourself that
reports a function that has the same behavior as three above.
The successor(welp i named it increment before)works by adding a new f(%s)
Make sure you understand why TRY has an ordinary Snap! + block instead of calling successor.
if you use the successor,you will get an unreadable church number
The reason won’t be obvious until you generate a mechanism for
recursion, quite a while from now,
Uh oh for the previous while function
Y combinator
looks like warped_wart_wars 's self apply but with extra params
Yes, much the same idea.
hey
Click it?
does not work
Sorry, download the pdf again.
I hate computers.
did your <a> tag become a blue underline?
Works now
Whoops
ex 2 done
but
ex 3:
but
I am copying the thing in the try function
but did i have a wrong grey ringifiy?
This is such an annoying thing... Apple and Adobe are having a longstanding fight about something or other, as a result of which, Adobe doesn't allow links in Microsoft Word documents to be converted to PDF on Apple computers. I fixed it by adding the link to the PDF in Acrobat instead.
I find your solutions to these problems confusing because you use x and f for the two input names, but actually those two inputs are both numbers, not the components of a number that x and f ordinarily represent. The two inputs are of the same (abstract) type, both number, rather than "data" and "function" respectively.
And I think you confused yourself, too, because you're operating at a low level of abstraction, trying to build numbers from λf . λx . whatever rather than just taking the two number inputs as given and working with them. Try doing these problems again, but call the inputs a and b.
In effect you're merging two formal definitions of numbers: Church and Peano. (The latter is where you get + as repeated successor, × as repeated +, and ^ as repeated ×.)
Because I have no idea of how to do that in church numbers
Well, for + I guess you do want to call successor repeatedly. But you can just say 
right? (Except change f to a) and call that with b.
But multiplication and exponentiation can be much simpler.