view paste/paste.9373 @ 10776:b474172c9892

<b_jonas> slashlearn ance//Spelling of -ance/-ence words: advance, science, conference, experience, finance, insurance, licence, performance, reference, assistance, balance, defence, difference, distance, evidence, acceptance, appliance, audience, compliance, importance, influence, instance, intelligence, maintenance, preference, presence, sentence, sequence, substance, violence, absence, accordance, alliance, appearance, assurance, attendance, circumstance, clea
author HackBot
date Fri, 21 Apr 2017 18:06:38 +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