Mercurial > repo
annotate paste/paste.9373 @ 7870:192b9b67fa4e
<oerjan> rm oerjan
author | HackBot |
---|---|
date | Fri, 06 May 2016 22:59:54 +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 |