view paste/paste.9373 @ 12327:b3e29671d69e draft

<b_jonas> learn ayacc is ais523\'s yacc parser generator implementation, get it from (darcs clone http://nethack4.org/projects/ayacc) or a snapshot from "http://nethack4.org/pastebin/ayacc-2020-04.tar.gz".
author HackEso <hackeso@esolangs.org>
date Wed, 08 Apr 2020 20:27:14 +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