view paste/paste.9373 @ 9285:8320c9c4620f

<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents 8d076e80b777
children
line wrap: on
line source

103) <Mathnerd314> Gregor-P: I don't think lambda calculus is powerful enough
332) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] <Lymia> I need to learn more Haskell...  <CakeProphet> ..I need to get op privs.
410) <monqy> rest in peace lambdabot????  <ais523> monqy: it'll probably be back later  <monqy> nap in peace
497) <CakeProphet> monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] <CakeProphet> @messages  <lambdabot> quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell
525) <Taneb> I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee
892) <shachaf> FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE
1203) <Bike> scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance