Mercurial > repo
view paste/paste.9373 @ 5728:68bbd91283a5
<oren_> revert
author | HackBot |
---|---|
date | Thu, 25 Jun 2015 03:50:32 +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