Mercurial > repo
view paste/paste.9373 @ 12268:6bbbe2a95120 draft
<b_jonas> slashlearn euclid//Euclid is a short geeky game in which the goal is to do Euclidean compass and straightedge constructions in as few steps as possible. It runs in the browser, found at "http://www.euclidthegame.com/". It was popular among #esoteric regulars in 2016-07.
| author | HackEso <hackeso@esolangs.org> |
|---|---|
| date | Mon, 16 Dec 2019 23:02:52 +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