Mercurial > repo
view paste/paste.9373 @ 9988:5c540b416103
<b_jonas> `` t=bin/calesyta2016list; >$t echo \'echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit\'$\'\\nb_jonas\' && chmod -c a+x "$t"
| author | HackBot |
|---|---|
| date | Fri, 16 Dec 2016 10:49:15 +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