annotate 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 |
|
| rev |
line source |
|
5254
|
1 103) <Mathnerd314> Gregor-P: I don't think lambda calculus is powerful enough
|
|
|
2 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.
|
|
|
3 410) <monqy> rest in peace lambdabot???? <ais523> monqy: it'll probably be back later <monqy> nap in peace
|
|
|
4 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
|
|
|
5 525) <Taneb> I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee
|
|
|
6 892) <shachaf> FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE
|
|
|
7 1203) <Bike> scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance
|
