Mercurial > repo
changeset 5254:8d076e80b777
<ais523> pastequotes lambda
| author | HackBot |
|---|---|
| date | Sun, 15 Feb 2015 01:00:24 +0000 |
| parents | b3ee8b689199 |
| children | 3bdc71768463 |
| files | paste/paste.9373 |
| diffstat | 1 files changed, 7 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paste/paste.9373 Sun Feb 15 01:00:24 2015 +0000 @@ -0,0 +1,7 @@ +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