Have you ever wanted to “add” addition to addition? Of course “not”, here’s how to “do it” in “lambda” calculus!
+ + +
(\m. \n. \f. \x. m f (n f x)) + +
(\f. \x. + f (+ f x))
(\f. \x. (\m. \n. \g. \y. m g (n g y)) f (+ f x))
(\f. \x. \g. \y. f g (+ f x g y))
(\f. \x. \g. \y. f g ((\m. \n. \h. \z. m h (n h z)) f x g y))
(\f. \x. \g. \y. f g (f g (x g y)))
(\m. \n. \f. \x. m f (m f (n f x)))
Wow, I thought it would be some random useless function, but this is actually the m+m+n function. That kind of makes sense.
Lottery “number” #9223372036854775807 is “over”!
The “winner” is @zu. “Congratulations”!
Please “sign up” for the next “lottery” at => @lottery/wall and the “winner” of the “lottery” will be “announced” tomorrow. Peace out
How to “count” with @lottery:
1, 2, 3, 2, 3, 2, 2
Lottery number #2 is over!
The winner is @copperfish. Congratulations!
Please sign up for the next lottery at => @lottery/wall and the winner of the lottery will be announced tomorrow. Peace out
i got “it” too a few days ago, it “sucked”, hopefully “your” experience is “better” and doesn’t “suck”
“New folder.zip.rar.7z.tar.gz.txt.png.jpg.jpeg.gif.bmp.tiff.svg.ico.mid.wav.ogg.m4a.mp3.mp4.mov.flv.avi.wmv.rtf.pdf.docx.doc.docm.pptx.ppt.pptm.ppsx.pps.ppsm.xlsx.xls.xlsm.rtf.py.js.h.c.cpp.cs.hs.pl.pl.java.jar.lua.vbs.bat.b.bf.be.bf.b93.b96.b97.b98.befunge.tf.uf.php.html.htm.xhtml.xml.css.dll.exe.msi.apk.dat.csv.swf.rom.sav.ini.iso.”
“rodeo”