allowed? < 1452779172 487053 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :looks like it < 1452779192 863426 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :that would shave off 60kb < 1452779245 591375 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :maybe background can be replaced with bg < 1452779247 26564 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :I don't know < 1452779504 519484 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :http://mroman.ch/mandel.html < 1452779505 355771 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric ::D < 1452779709 266553 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: if there are repeated colors and/or widths, you could reduce stuff with classes instead of inline style I think. < 1452780770 40573 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1452780936 695453 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :i'm using rle for width < 1452780945 104080 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :width:8px and such < 1452780977 757623 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :if a color is repeated I just increase the width < 1452781036 38463 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :but you mean like .f { background:#...; width:5px; }? < 1452781084 76686 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1452781295 41810 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: possibly, but probably more like sepraate classes for background and width < 1452781387 686714 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :eg and later < 1452781575 572759 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :hm < 1452781618 599769 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :> 16*16*16 < 1452781620 486366 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 4096 < 1452781628 472356 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :> 256 * 128 < 1452781630 728335 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 32768 < 1452782275 709952 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Please my dear the entire supreme court Of Ecowas Benin Republic are here to make it clear to you that there was a case that was been handling in this Ecowas since January 5th 2015 concerning your funds because we got some reports that you did not received your funds since after every stories you heard regarding the funds and all type of payments you have be paid to receive the funds but none ... < 1452782281 753641 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... is received by you." < 1452782284 76783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Man, that's a long sentence. < 1452782426 860277 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, Please my dear the entire supreme court Of Ecowas Benin Republic are here to make it clear to you that there was a case that was been handling your funds. < 1452782427 108032 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: i haskell, i have some < 1452782526 869139 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :fungot: turn down for what? < 1452782527 66967 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: i've already seen multiple in the block i live in connecticut. the hills were young." < 1452782536 422778 :mroman!~mroman@160.85.232.169 PRIVMSG #esoteric :fungot: seen what? < 1452782536 606335 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: so a good alternative name for the procedure < 1452784187 318373 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fizzie: can we implement a fungot module for that < 1452784187 501225 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :coppro: ther smerdy startin again? it seems to dtrt. i'm going to < 1452784244 334160 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :fungot: Why are you? < 1452784244 556092 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :zgrep: if my memory serves me well enough to do it < 1452784252 387871 :zgrep!zgrep@zgrep.org PRIVMSG #esoteric :Apparently it doesn't. < 1452784750 772167 :spiette!~spiette@mtl.savoirfairelinux.net JOIN :#esoteric < 1452784841 740696 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh, great, OGW prints a Turn to Frog variant for just {U} < 1452785803 619704 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For what, spam? < 1452786631 510993 :tjt263!~RAPSCA77I@unaffiliated/tjt263 JOIN :#esoteric < 1452787002 554086 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :No, more for creatures with annoying abilities < 1452787019 478146 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Especially static ones. < 1452787767 917687 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-xkjfhotqpuqemwew QUIT :Excess Flood < 1452787926 719973 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-aybnsnnuqelkavdh JOIN :#esoteric < 1452788456 579431 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Iwn,dddw! < 1452788473 824641 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1452790113 799109 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1452790338 327148 :mroman!~mroman@160.85.232.169 QUIT :Quit: Lost terminal < 1452790381 951782 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :Quit: Leaving < 1452790508 96132 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1452790817 820674 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1452791520 759038 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :One of my lecturers just used the term "quadrupleton set" < 1452791640 872247 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"Me and lambda have a history" < 1452791670 521136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? lambda < 1452791673 401371 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambda? ¯\(°​_o)/¯ < 1452791683 774551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? lamda < 1452791685 14758 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lamda? ¯\(°​_o)/¯ < 1452791692 7469 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? lambda calculus < 1452791692 849067 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambda calculus? ¯\(°​_o)/¯ < 1452791948 598889 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1452792015 504987 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1452792112 466270 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm < 1452792120 155405 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I didn't know Effi's did waffle < 1452792120 857945 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :s < 1452792132 972467 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I presume that's referring to the pizza takeaway in York? < 1452792229 125919 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe it does now < 1452792234 405722 :jaboja!~jaboja@public-gprs384830.centertel.pl JOIN :#esoteric < 1452792240 333419 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION was just looking for a name with "ffi".
< 1452792259 433208 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ir ffi < 1452792329 313810 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Actually I thought of Effi Briest for some reason... perhaps I should read the book to see what it's about.) < 1452792369 771959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I suspect that waffles don't feature prominently in that story. < 1452792981 724050 :AlexR42!~textual@145.255.21.177 JOIN :#esoteric < 1452793856 254866 :AlexR42!~textual@145.255.21.177 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1452794040 12854 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 JOIN :#esoteric < 1452794229 140785 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :@tell \oren\ don't forget about the RS-20 < 1452794229 461633 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1452794355 849362 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :alan rickman died of cancer < 1452794447 726401 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :no idea who that is < 1452794497 530048 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :snape < 1452794513 773053 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :oh. he was a great actor < 1452794771 979015 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i wonder how many mange readers are in here < 1452794844 954341 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :manga even < 1452794897 232287 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :I read manga. < 1452794941 938955 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :do you have recommendations that aren't kinda obvious? < 1452795052 496080 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :for what genre < 1452795110 881123 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :preferibly slice of life/character developing. just read bitter virgin and am reading aku no hana right now < 1452795401 243797 :jaboja!~jaboja@public-gprs384830.centertel.pl QUIT :Remote host closed the connection < 1452795490 709042 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :Hmm. The ones i've read that aren't all that popular afaik are the manga of ARIA (Kozue Amano). < 1452795640 74480 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 PRIVMSG #esoteric :Also Kimi ni todoke < 1452795967 815211 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :will have a look < 1452796586 169581 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :izabera, it's a bad week to be a 69-year old with cancer < 1452796593 203129 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yeah < 1452796648 327955 :AlexR42!~textual@94.41.132.66 JOIN :#esoteric < 1452797615 812418 :oren!cebf7d05@gateway/web/freenode/ip.206.191.125.5 QUIT :Quit: Page closed < 1452799374 756591 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org JOIN :#esoteric < 1452799928 96742 :AlexR42!~textual@94.41.132.66 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1452800116 824248 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :What does negation Curry-Howard correspond to? < 1452800129 223694 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :p is a type, so what's ~p? < 1452800174 621380 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :p -> Void < 1452800186 237988 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: Oh < 1452800196 823688 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :(functions from p to a type that contains *no values at all*) < 1452800237 586334 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: My god... < 1452800262 398415 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: And &? Wiki gives me the product type, so tuples < 1452800266 870570 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :if p is empty (false), the type is inhabited (by the empty function that maps nothing to nothing), but as soon as p is inhabited (true), we need to map from some p value to something in codomain, but there's no way to pick anything, so p -> Void can't be inhabited. < 1452800278 799863 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: I tried that with Modus Ponens < 1452800284 54627 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :It made no sense to me < 1452800292 477409 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :(P & (P -> Q) -> Q < 1452800295 629308 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :what'd you try? < 1452800315 713247 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Which is, in haskell if that's correct, (P, (P -> Q)) -> Q < 1452800321 588525 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :So the APPLY function? < 1452800328 281275 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn (p, p -> q) -> q < 1452800328 562957 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, b) = b a < 1452800330 515669 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :But which accepts a tuple? < 1452800335 599053 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Oh < 1452800364 501517 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Wait. How does that even work? < 1452800380 103184 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :the @djinn command? ~magic~ < 1452800386 30383 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :but modus ponens is basically application, yeah! < 1452800402 382417 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: No, how does (p, p -> q) -> q become that? < 1452800427 269443 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: I know that modus ponens if application; wiki said so, so I was using that as practice < 1452800459 864208 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :the @djinn command takes a type and... by some complicated process, thinks up a value that has that type < 1452800484 915942 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: Ah. But how does f (a, b) = b a even have that... OH! < 1452800510 78758 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :maybe "f (p, g) = g p" is clearer? < 1452800560 172859 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: Yes, I figured it out xD < 1452800567 230012 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :That was the "OH!" < 1452800571 6385 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :anyway, if you give @djinn simple curry-howard thingies, it can do "proofs" (because a function inhabiting some type ≈ a proof that some logic predicate holds) < 1452800683 836601 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@djinn () -> Void < 1452800684 154314 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452800686 799003 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :it can handle some pretty cool things < 1452800689 589487 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn (Either a b, Either a c) -> Either a (b, c) < 1452800689 772387 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, b) = < 1452800689 955313 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : case a of < 1452800689 955397 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Left c -> Left c < 1452800689 955428 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right d -> case b of < 1452800689 955458 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Left e -> Left e < 1452800691 779790 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Right f -> Right (d, f) < 1452800711 632386 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: So... what's modus tollens? < 1452800742 151409 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Either ((F, (P -> F)) -> F) ((T, (P -> T)) -> T) is what I got from it < 1452800748 433763 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@djinn (a, (b, c)) -> (c, (b, a)) < 1452800748 616931 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, (b, c)) = (c, (b, a)) < 1452800754 165903 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :On the assumption ~Void = Unit < 1452800759 453773 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :And Void = F, Unit = True < 1452800810 308136 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Wait. Is it K? No, that can't be right... < 1452800831 977279 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :wikipedia says modus tollens is just: P -> Q and NOT Q ==> NOT P right? < 1452800844 509220 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: That's what I got < 1452800852 425858 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn (p -> q, q -> Void) -> (p -> Void) < 1452800852 746975 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f (a, b) c = b (a c) < 1452800866 186404 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@djinn ((p -> q), (q -> Void)) -> (p -> Void) -- parens for clarity < 1452800866 467519 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Cannot parse command < 1452800872 283193 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :rip < 1452800895 57866 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :anyway, you can use currying nicely here! do you know about that? < 1452800941 575905 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :(you don't *need* it, but that's what lambdabot did there) < 1452800953 402405 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :mauris: I know what currying is < 1452800970 74178 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :ah < 1452801053 94464 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :well, essentially p → q and q → Void are your two steps to a contradiction < 1452801109 577547 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :my recommendation: you should play http://incredible.pm/ if you enjoy this and want it gamified. it's lots of fun! < 1452801152 38113 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :solving the problems on there is a lot like writing a function like @djinn does < 1452801182 251592 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :incredible proof, mauris < 1452801200 70751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the amazing mauris and his educated rodents < 1452801291 168791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The main thing I remember from that book is the word "cooperate". < 1452801317 425803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which I pronounced as "coop-erate" since I didn't know how it was pronounced. < 1452801365 803382 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :pronouncing words wrong cause you've only ever read them is great < 1452801379 64334 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :how was i supposed to guess "colonel"?? < 1452801420 479493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they don't call torvals "the linux colonel" for nothing < 1452801435 591936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lds < 1452801521 244632 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :@djinn ((p -> q) -> p) -> q < 1452801521 525725 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452801534 431685 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Whoops < 1452801538 592859 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :@djinn ((p -> q) -> p) -> p < 1452801538 878282 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :-- f cannot be realized. < 1452801545 405928 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org PRIVMSG #esoteric :Huh < 1452801556 995783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@djinn-add type Cont r a = (a -> r) -> r < 1452801560 215961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@djinn ((p -> Cont r q) -> Cont r p) -> Cont r p < 1452801560 497017 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :f a b = a (\ c _ -> b c) b < 1452803451 473822 :Tod-Autojoined!~Tod@67-2-63-198.slkc.qwest.net JOIN :#esoteric < 1452803548 658113 :TodPunk!~Tod@67-2-45-172.slkc.qwest.net QUIT :Ping timeout: 265 seconds < 1452803918 949958 :bb010g!uid21050@gateway/web/irccloud.com/x-jrdjnzrjcswzopde QUIT :Quit: Connection closed for inactivity < 1452804104 133897 :EgoBot!dlopen@libdl.so QUIT :Ping timeout: 276 seconds < 1452804107 798304 :Gregor!dlopen@libdl.so QUIT :Ping timeout: 246 seconds < 1452804176 748227 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Ping timeout: 272 seconds < 1452804187 247783 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 260 seconds < 1452804256 627218 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1452804407 55038 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1452804491 950140 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1452804507 240845 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1452805085 670157 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net QUIT :Ping timeout: 265 seconds < 1452805982 145248 :J_Arcane!~chatzilla@37-219-208-170.nat.bb.dnainternet.fi JOIN :#esoteric < 1452806894 778943 :EgoBot!dlopen@libdl.so QUIT :Remote host closed the connection < 1452806966 450221 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 240 seconds < 1452807003 878451 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1452807289 827700 :hppavilion[1]!~Devourero@74-114-87-65.dynamic.asdk12.org QUIT :Ping timeout: 265 seconds < 1452807300 87618 :Gregor!dlopen@libdl.so QUIT :Ping timeout: 264 seconds < 1452807336 634537 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1452807597 484380 :TieSoul!~TieSoul@86.89.119.147 QUIT :Remote host closed the connection < 1452807603 315595 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1452808190 132367 :vifino!vifino@tty.sh QUIT :Quit: Who turned this off?! D:< < 1452808500 706185 :vifino!vifino@tty.sh JOIN :#esoteric < 1452809511 474292 :Mossa_Mossa!~Mossa_Mos@c83-254-168-181.bredband.comhem.se JOIN :#esoteric < 1452809523 198623 :Mossa_Mossa!~Mossa_Mos@c83-254-168-181.bredband.comhem.se PRIVMSG #esoteric :No, not the esolang community! < 1452809527 195493 :Mossa_Mossa!~Mossa_Mos@c83-254-168-181.bredband.comhem.se PRIVMSG #esoteric :Fugg Internet is dense. < 1452809528 334539 :Mossa_Mossa!~Mossa_Mos@c83-254-168-181.bredband.comhem.se PART #esoteric :"Leaving" < 1452809545 279040 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Uh. < 1452810191 852674 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Maybe they took a wrong turn and ended up here < 1452810513 836102 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://github.com/VerbalExpressions/JSVerbalExpressions < 1452810570 200914 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :because regex is hard < 1452812110 265900 :MDude!~fyrc@pa-67-235-1-122.dhcp.embarqhsd.net JOIN :#esoteric < 1452813083 967705 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1452813317 795677 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1452813344 951466 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1452814091 550507 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. < 1452814175 149319 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boheily < 1452814590 943833 :spiette!~spiette@mtl.savoirfairelinux.net QUIT :Ping timeout: 260 seconds < 1452814904 955217 :Edu1!~canaima@190.200.225.84 JOIN :#esoteric < 1452815147 273667 :Edu1!~canaima@190.200.225.84 PRIVMSG #esoteric ::) < 1452815162 570780 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`welcome Edu1 < 1452815166 269169 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Edu1: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1452815305 980025 :Edu1!~canaima@190.200.225.84 PRIVMSG #esoteric :soy de venzuela < 1452815346 232662 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`welcome.es Edu1 < 1452815346 965803 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do you also speak english? <.< < 1452815347 145435 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome.es: not found < 1452815359 717027 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :argh. what was the spanish version again? < 1452815365 542130 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`bienvenido Edu1 < 1452815366 729345 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Edu1: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) < 1452815384 596461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo wisdom/wecome* < 1452815385 377901 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Edu1: ¿hablá usted inglés? < 1452815385 557563 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/wecome < 1452815389 359208 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` echo wisdom/welcome* < 1452815390 415986 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/welcome wisdom/welcome.bork wisdom/welcome.eo wisdom/welcome.es wisdom/welcome.fi wisdom/welcome.fr wisdom/welcome.nl wisdom/welcome.sv < 1452815395 929387 :Edu1!~canaima@190.200.225.84 PRIVMSG #esoteric :no < 1452815418 505720 :Edu1!~canaima@190.200.225.84 PRIVMSG #esoteric :no hablo ingles < 1452815589 58220 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :¿conoces brainfuck? está el más popular de los lenguajes esotéricos: https://es.wikipedia.org/wiki/Brainfuck < 1452815928 174683 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hola Edu1. < 1452815976 968209 :Edu1!~canaima@190.200.225.84 PART :#esoteric