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