# HG changeset patch # User HackBot # Date 1423962024 0 # Node ID 8d076e80b777fd96395246fbf0e2b449ee28e8bc # Parent b3ee8b6891999fd03be91ac63779e2b13b05686a pastequotes lambda diff -r b3ee8b689199 -r 8d076e80b777 paste/paste.9373 --- /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) 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] I need to learn more Haskell... ..I need to get op privs. +410) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace +497) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell +525) I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee +892) FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE +1203) scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance