< 1642032751 40355 :olsner!~salparot@c83-252-230-207.bredband.tele2.se QUIT :Ping timeout: 268 seconds < 1642032797 189566 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :what is the BLC notation for this alpha / smaller iota? < 1642033120 971448 :olsner!~salparot@c83-252-230-207.bredband.tele2.se JOIN #esolangs olsner :Got ZNC? < 1642035261 729097 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :I'm not sure what to do with the Kz , (\_.z) at the end, I'm clearly doign at least one thing wrong to come up with length 29:  00 00 00 00 01 11110 01 110 01 1110 110 < 1642037836 137078 :oerjan!~oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1642039424 75164 :eli_oat!~eli_oat@185.187.243.154 JOIN #esolangs eli_oat :eli_oat < 1642039801 906910 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391 > 1642039873 186324 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 10 02https://esolangs.org/w/index.php?diff=92027&oldid=84071 5* 03Photon Niko 5* (+766) 10CIrcles? < 1642040040 46947 :kit_ten!~u0_a391@2600:380:a47c:9f07:241:3339:c633:aeab QUIT :Ping timeout: 268 seconds < 1642040760 433384 :lagash!lagash@lagash.shelltalk.net QUIT :Remote host closed the connection < 1642041023 556973 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs * :ZNC - https://znc.in < 1642042620 712815 :eli_oat!~eli_oat@185.187.243.154 QUIT :Quit: eli_oat < 1642042710 357565 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :I think it is: 00 01 10 00 00 00 01 110 01 1110 110 < 1642042857 116290 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :λ.1(λλλ.2(3 2)) instead of λλλλ.4 2(3 2), which was what my first attempt was (barring notation errors) < 1642042891 416179 :int-e!~noone@int-e.eu PRIVMSG #esolangs :salpynx: alpha is 00 00 00 01 01 1110 10 01 110 00 110, alpha' is 00 00 00 01 01 110 10 01 1110 00 110 < 1642042980 111838 :int-e!~noone@int-e.eu PRIVMSG #esolangs :\x\y\z. x z (y (\_. z)) and \x\y\z. y z (x (\_. z)) < 1642043097 245530 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :thanks, let me process that in terms of how I've been working to figure out where I went wrong... < 1642043302 662273 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :so:  λλλ. (2 1) (3 λ.2)   in De Bruijn format? < 1642043346 471788 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes. < 1642044039 257493 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :I got the associativity direction wrong on the original lambda notion. I went wrong on the first step :( < 1642044933 231678 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :why is (\_. z)  =   00 110   and not 00 00 110 ? I can't see where in a description of BLC / De Bruijn  / Lambda notation why a lambda taking one argument (00 x in BLC) can refer to the second argument < 1642044983 858462 :int-e!~noone@int-e.eu PRIVMSG #esolangs :\_. z is not a closed term by itself; z is free there < 1642045002 500885 :int-e!~noone@int-e.eu PRIVMSG #esolangs :but there's three more lambdas further out < 1642045044 385099 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :so that's the significance of the underscore symbol? < 1642045078 234445 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it just indicates that the variable is unused < 1642045090 941951 :int-e!~noone@int-e.eu PRIVMSG #esolangs :we could write \w.z instead < 1642045153 851901 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :so 00 1110 would also be valid < 1642045176 825605 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :but 00 11110 would be an error in that position? < 1642045195 760952 :int-e!~noone@int-e.eu PRIVMSG #esolangs :no that would still be fine < 1642045245 915720 :int-e!~noone@int-e.eu PRIVMSG #esolangs :111110 would no longer refer to any of the lambdas < 1642045291 495002 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :which lambda does 11110 refer to? < 1642045308 76272 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the outermost one < 1642045313 786021 :int-e!~noone@int-e.eu PRIVMSG #esolangs :that is, the first one < 1642045349 105863 :int-e!~noone@int-e.eu PRIVMSG #esolangs :i.e., with names: \x\y\z. x z (y (\_. x)) < 1642045453 237516 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the unnamed _ would have index 1, z has index 2, y has index 3, x has index 4; there's nothing beyond that < 1642045500 102133 :int-e!~noone@int-e.eu PRIVMSG #esolangs :maybe let's fully parenthesize the thing? alpha = \x\y\z. ((x z) (y (\_. z))) < 1642045602 219982 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the convention is that lambdas extend as far as possible to the right) < 1642045633 470326 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :oh, I see, it's pretty straightforward; within \_, if z is 110, y is 1110 and x is 11110, and 111110 is undefined < 1642045771 735925 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :Thanks, I think I've cleared up all my confusion on this. In the past I've always had to try and understand lambda calculus in terms of combinators, which made far more sense to me. < 1642046014 594123 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :There's nothing like working on a problem and making a bunch of mistakes to cement understanding... < 1642047335 123560 :razetime!~quassel@49.207.203.87 JOIN #esolangs * :razetime > 1642047362 417255 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dorcelessness 5* 10New user account > 1642047750 47716 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92028&oldid=92004 5* 03Dorcelessness 5* (+208) 10 > 1642047924 860882 PRIVMSG #esolangs :14[[07User:Dorcelessness14]]4 N10 02https://esolangs.org/w/index.php?oldid=92029 5* 03Dorcelessness 5* (+138) 10Created page with "I exist and do things. I'm currently making a sort of concept for an esolang that has no name, but it should be interesting. any pronouns" > 1642047999 74713 PRIVMSG #esolangs :14[[07User:Dorcelessness14]]4 10 02https://esolangs.org/w/index.php?diff=92030&oldid=92029 5* 03Dorcelessness 5* (+100) 10 > 1642048009 30032 PRIVMSG #esolangs :14[[07User:Dorcelessness14]]4 10 02https://esolangs.org/w/index.php?diff=92031&oldid=92030 5* 03Dorcelessness 5* (+3) 10 > 1642049973 806021 PRIVMSG #esolangs :14[[07Razetime14]]4 N10 02https://esolangs.org/w/index.php?oldid=92032 5* 03Razetime 5* (+27) 10Redirected page to [[User:Razetime]] > 1642051514 259818 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92033&oldid=92017 5* 03Razetime 5* (+135) 10Add hello world, bqn interpreter > 1642051531 62274 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92034&oldid=92033 5* 03Razetime 5* (-1) 10 < 1642055397 552508 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1642055456 624634 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :Is this correct?: \x\y\z\_. x z (y z) == \x\y\z. x z (y (\_. z)) < 1642055473 392461 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :If so, I got my first attempt half right by getting an equivalent De Bruijn form: λλλλ. (4 2)(3 2), but messed up the BLC slightly. It would still give 29 bits this way, so not as good as 26. < 1642056589 783333 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642056596 87821 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Remote host closed the connection < 1642056612 756270 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642056799 686465 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642056822 857880 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642057071 266763 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642057094 862934 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642057699 677563 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642057719 698888 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642058571 737385 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642058593 758579 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642059199 579690 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642059221 679670 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642059471 347418 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642059492 718351 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642060399 562172 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642060422 677746 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642060632 307028 :razetime!~quassel@49.207.203.87 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1642061271 87397 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642061291 639422 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642061599 498138 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642061621 750572 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642061874 332463 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642061895 777285 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642062165 209410 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1642062799 641342 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642062819 739263 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642063371 62801 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642063393 758686 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642063999 623694 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642064022 719907 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642064870 894148 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642064889 605186 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642065199 562192 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642065220 735288 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642065771 312181 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642065791 706814 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642066399 615316 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642066419 685336 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642066671 44059 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642066692 704999 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642066833 837681 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :salpynx: no, that's not correct < 1642066874 24549 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :this alpha is not a regular combinator, you cannot push the last \_ to the front < 1642066955 442059 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :so it doesn't correspond to a single rewrite rule like the regular combinator S x y z = x z (y z) that only has variables on the right < 1642066986 471285 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the best you can do is alpha x y z = x z (y (K z)) < 1642067009 326908 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :since K z = \_.z < 1642067299 628473 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642067318 622150 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642067351 713147 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1642067578 611249 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642067598 728155 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642067899 660877 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642067919 708465 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642068470 972230 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642068489 643329 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642068799 548021 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642068819 696403 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642069370 922765 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642069392 768434 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642070312 383920 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1642070373 124649 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1642070529 792156 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1642070975 362256 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz QUIT :Quit: Client closed < 1642071499 660429 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642071522 813171 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642072086 421299 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642072105 744391 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642072699 597326 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642072719 619020 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642072981 67588 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642073001 619811 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642075014 966188 :jix_!~jix@user/jix JOIN #esolangs jix :Jannis Harder < 1642075014 966251 :jix!~jix@user/jix QUIT :Remote host closed the connection > 1642075095 825332 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92035&oldid=92034 5* 03Umnikos 5* (+199) 10Order the example code snippets better > 1642075343 822412 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92036&oldid=92035 5* 03Umnikos 5* (+50) 10Further clarify "a/?" < 1642075399 582246 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642075419 724043 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642075493 768677 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92037&oldid=92036 5* 03Umnikos 5* (+106) 10Clarify what happens with a big a in "a*" < 1642075971 66283 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642075990 617563 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642076426 377240 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92038&oldid=92037 5* 03Umnikos 5* (+64) 10Add a truth machine example > 1642077113 292592 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92039&oldid=92038 5* 03Umnikos 5* (+22) 10Add an example of a quine < 1642077190 184374 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1642077199 525714 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642077219 716352 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642077471 36334 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642077491 734461 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642078066 701168 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92040&oldid=92039 5* 03Umnikos 5* (-3) 10Shorten shorter loop < 1642078099 636964 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642078119 718932 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642078370 915997 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642078391 696639 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642079299 651848 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642079319 727436 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642079520 753534 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`js [1,2,3] + [4,5,6] // TIL, via Twitterers < 1642079526 905108 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1,2,34,5,6 < 1642079571 422363 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642079590 739664 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642080941 750486 PRIVMSG #esolangs :14[[07Init14]]4 M10 02https://esolangs.org/w/index.php?diff=92041&oldid=92026 5* 03WhyNot? 5* (+38) 10 < 1642081054 782241 :eli_oat!~eli_oat@192.145.116.73 JOIN #esolangs eli_oat :eli_oat > 1642081530 695976 PRIVMSG #esolangs :14[[07Init14]]4 10 02https://esolangs.org/w/index.php?diff=92042&oldid=92041 5* 03WhyNot? 5* (+405) 10 > 1642081638 245254 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92043&oldid=92040 5* 03Umnikos 5* (+471) 10Add a section on multi-line programs < 1642081869 570632 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1642082299 708024 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642082321 705566 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642082571 1755 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642082591 615421 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642082694 766594 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1642083199 564787 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642083219 615642 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642083470 755891 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642083489 715999 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642084077 348215 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1642084099 646649 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642084118 720598 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642084317 513074 :^[!~user@user//x-8473491 QUIT :Ping timeout: 240 seconds < 1642084371 76324 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642084390 709927 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642084884 51579 PRIVMSG #esolangs :14[[07Init14]]4 10 02https://esolangs.org/w/index.php?diff=92044&oldid=92042 5* 03WhyNot? 5* (+59) 10 > 1642085083 527522 PRIVMSG #esolangs :14[[07User talk:SunnyMoon14]]4 10 02https://esolangs.org/w/index.php?diff=92045&oldid=91997 5* 03SunnyMoon 5* (+216) 10Secret message: I am dumb < 1642085599 686999 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642085619 797429 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642085673 785623 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1642085874 385851 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642085893 618715 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642086199 560135 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642086221 704641 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642086471 335337 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642086490 798631 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642086661 977210 PRIVMSG #esolangs :14[[07User:WhyNot?14]]4 10 02https://esolangs.org/w/index.php?diff=92046&oldid=88620 5* 03WhyNot? 5* (+11) 10 > 1642086762 340535 PRIVMSG #esolangs :14[[07Impossible.14]]4 N10 02https://esolangs.org/w/index.php?oldid=92047 5* 03WhyNot? 5* (+78) 10Created page with "(Made by [[WhyNot?]]) This language is impossible. Therefore, there is no use." > 1642086806 979070 PRIVMSG #esolangs :14[[07Impossible.14]]4 M10 02https://esolangs.org/w/index.php?diff=92048&oldid=92047 5* 03WhyNot? 5* (+5) 10 > 1642086896 644916 PRIVMSG #esolangs :14[[07Impossible.14]]4 M10 02https://esolangs.org/w/index.php?diff=92049&oldid=92048 5* 03WhyNot? 5* (+60) 10 > 1642086951 591685 PRIVMSG #esolangs :14[[07User:WhyNot?14]]4 M10 02https://esolangs.org/w/index.php?diff=92050&oldid=92046 5* 03WhyNot? 5* (+18) 10 < 1642087099 702973 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642087119 808367 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642087371 145583 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642087391 692946 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642087699 601498 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642087700 206619 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1642087719 725591 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642087972 185289 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642087994 742861 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642089199 596677 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642089221 722951 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642089470 998250 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642089492 805694 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642090206 541186 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1642090472 984842 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: eww that means there's still a challenge to find a "proper" complete combinator? < 1642090516 414126 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(obviously iota isn't proper in that sense either) < 1642090582 53203 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu QUIT :Ping timeout: 268 seconds < 1642090583 380468 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :we can say alpha is the least irregular of all single point combinators. i'm sure a regular one is impossible < 1642090598 115974 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu JOIN #esolangs * :b_jonas < 1642090613 380256 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :alpha only has one lambda inside an application < 1642090739 533836 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :if a regular combinator erases one of its variable, then it has an application of K not to a variable but to some term, which I think prevents deriving K from it < 1642090892 162980 :eli_oat!~eli_oat@192.145.116.73 QUIT :Quit: eli_oat < 1642091245 585982 :eli_oat!~eli_oat@192.145.116.73 JOIN #esolangs eli_oat :eli_oat < 1642092184 788944 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS > 1642092377 690555 PRIVMSG #esolangs :14[[07Init14]]4 M10 02https://esolangs.org/w/index.php?diff=92051&oldid=92044 5* 03PythonshellDebugwindow 5* (-57) 10/* Language */ remove outdated categories < 1642093399 666366 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642093420 718270 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642093670 888482 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642093693 792596 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642094373 337857 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1642094374 891257 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 PART #esolangs :Leaving < 1642094529 248122 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds > 1642095367 519523 PRIVMSG #esolangs :14[[07QWOP14]]4 10 02https://esolangs.org/w/index.php?diff=92052&oldid=86650 5* 03Kaveh Yousefi 5* (+160) 10Added a hyperlink to my implementation of the QWOP programming language on GitHub. < 1642095647 767132 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1642095799 617167 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642095799 907359 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1642095818 614643 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642096071 248243 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642096091 620043 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642096470 153098 :immibis_!~hexchat@62.156.144.218 JOIN #esolangs * :realname < 1642096473 829509 :immibis!~hexchat@62.156.144.218 QUIT :Read error: Connection reset by peer < 1642097023 140742 :immibis!~hexchat@62.156.144.218 JOIN #esolangs * :realname < 1642097171 131268 :immibis_!~hexchat@62.156.144.218 QUIT :Ping timeout: 256 seconds < 1642097860 621011 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Remote host closed the connection < 1642098158 299968 :eli_oat!~eli_oat@192.145.116.73 QUIT :Quit: eli_oat < 1642098499 609677 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642098519 732330 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642098771 66149 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642098790 652294 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642099628 124410 :eli_oat!~eli_oat@217.138.206.37 JOIN #esolangs eli_oat :eli_oat < 1642099642 411104 :eli_oat!~eli_oat@217.138.206.37 QUIT :Client Quit < 1642099699 565342 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642099718 725384 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642099971 8833 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642099990 632529 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642100299 591998 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642100322 746341 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642100570 916889 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642100589 646063 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642101499 219079 :hiato!~op_4@user/op-4/x-9116473 QUIT :Quit: ZNC - https://znc.in < 1642101574 320090 :op_4!~op_4@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1642102426 760267 :impomatic_!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642102441 142274 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Ping timeout: 256 seconds < 1642102442 783747 :impomatic_!~impomatic@host213-1-7-166.range213-1.btcentralplus.com NICK :impomatic < 1642102670 917690 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642102690 770458 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642102999 859068 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642103019 615649 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642103270 939519 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642103291 616004 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642103899 553058 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642103918 639413 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642104170 808087 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642104190 735700 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642105099 629311 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642105119 705351 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642105212 967341 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz JOIN #esolangs * :[https://web.libera.chat] salpynx < 1642105371 361562 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642105392 750324 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642105563 392186 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :tromp: Right, the internal Kz can potentially be used _multiple_ times to swallow variables, depending on y. Putting it at the front, like I did, only swallows one. I tried with super simple examples (x=I, y=I. z=I) and (x=I, y=K, z=I) and got identical results. Using (x=I, y=S, z=I) shows the difference though. < 1642105687 256312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :
ACTION doesn't understand tromp's argument that no single proper combinator can be a basis, but assumes it must be true since none seems to be known
< 1642105699 598446 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642105714 404429 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :alpha looks very like the S combinator, but with that internal K, which can be utilised to do K-like things depending on the values of x, y, z < 1642105719 757150 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642105751 95316 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 PRIVMSG #esolangs :oerjan: there's a single combinator basis. I think a guy named Fokking wrote a paper on it < 1642105755 958066 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 PRIVMSG #esolangs :Fokker? < 1642105759 336946 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 PRIVMSG #esolangs :whoever < 1642105786 660225 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 PRIVMSG #esolangs :https://link.springer.com/article/10.1007/BF03180572 < 1642105841 201229 :int-e!~noone@int-e.eu PRIVMSG #esolangs :alpha fits that description < 1642105855 561609 :int-e!~noone@int-e.eu PRIVMSG #esolangs :namely, it's "a single closed lambda-expression" < 1642105904 782021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :sprout_: _proper_ here means it must be of the form \v1 ... vn. P(v1, ..., vn) where P only does applications of the variables to each other < 1642105912 833580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :like S, K and I are < 1642105942 860074 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 PRIVMSG #esolangs :oh right. I have no idea < 1642105970 948120 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642105990 731343 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642106321 666551 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :so that's what I was just seeing, that alpha is basically S, (S = x z (y z)), but with that second z replaced with a K z -- so y is operating on something other than one of the variables, therefore breaks the defn of 'proper' < 1642106941 958166 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :hmm.. so my mistake above was proper, but I'm guessing is extremely unlikely to be a complete basis :) < 1642107093 274806 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1642107453 229273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :oh tromp called it "regular" rather than "proper". < 1642107486 811450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i think the other term was used in some wikipedia discussion or article i looked at < 1642107806 883319 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that's from footnote 1 on page 12 of https://lmcs.episciences.org/6522/pdf but i recall seeing it elsewhere too < 1642107865 635652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :hm i think i understand ... < 1642107887 823649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :or wait > 1642107905 423173 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92053&oldid=91914 5* 03PixelatedStarfish 5* (+1) 10/* Proof of Turing Completeness */ < 1642108099 777282 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642108119 640642 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf > 1642108316 385467 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92054&oldid=92053 5* 03PixelatedStarfish 5* (+17) 10/* Interpreter Specifications */ < 1642108370 851894 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642108389 618001 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642108406 743347 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: I tried adding a reader to your code, but keep getting no parse errors. : https://pastebin.com/1061in22 > 1642108564 974327 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92055&oldid=92054 5* 03PixelatedStarfish 5* (+5007) 10/* Test Cases */ < 1642108589 837955 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :To what code? < 1642108638 765270 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :some code he pasted earlier < 1642108656 124005 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :for finding terms over some combinatory basis > 1642108722 57192 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92056&oldid=92055 5* 03PixelatedStarfish 5* (+5680) 10/* Test Cases */ < 1642108850 276482 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I'm not sure what the type L is exactly, but that Read instance looks reasonable to me, except that it seems to be reading an integer, which will take all the digits it can. < 1642108872 163738 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So `11 will be read as applying 11 to nothing, rather than 1 to 1. > 1642108879 799724 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92057&oldid=92056 5* 03PixelatedStarfish 5* (-400) 10/* Test Cases */ < 1642108884 96241 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :But e.g. `1^1 should be parsed correctly. < 1642108965 334312 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ah, thx. now i see how to fix it < 1642108982 209346 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :needed to use schar c = do skipSpaces; _ <- char c; return () < 1642108998 133460 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :which let's me separate ints by spaces < 1642109362 850073 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :That works. < 1642110720 796979 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1642110799 566579 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642110819 698586 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642111070 966961 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642111093 776435 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642111399 669348 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642111419 822581 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642111671 18074 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642111690 721443 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642111869 747853 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :"1 A regular combinator is a combinator in which no lambda abstraction occurs inside function application." footnote 1, p.12, On properties of B-terms. / Ikebuchi, Mirai; Nakano, Keisuke. In: Logical Methods in Computer Science, Vol. 16, No. 2, 8, 2020, p. 1-23. < 1642112617 337630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :https://olydis.medium.com/one-point-bases-for-%CE%BB-calculus-4163b1b326ad seems relevant. alpha is missing but there are some similar in spirit. < 1642114033 477128 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642114099 619550 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642114118 751519 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642114173 67456 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( ^`00 is a bit hard to read :) ) < 1642114671 165332 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642114690 615339 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642114728 689713 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1642115299 549899 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642115318 794903 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642115571 417626 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642115590 766671 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642117613 904489 :kit_ten!~u0_a391@2600:380:a452:c043:6563:21d7:2ac:40fb JOIN #esolangs * :u0_a391 < 1642117862 858821 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 250 seconds < 1642117999 620138 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic < 1642118022 696736 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf < 1642118270 885024 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit < 1642118290 631250 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf