> 1754179635 293118 PRIVMSG #esolangs :14[[07User:Hotcrystal0/1214]]4 N10 02https://esolangs.org/w/index.php?oldid=162785 5* 03Hotcrystal0 5* (+55) 10Created page with "'''12''' is an esolang created by [[User:Hotcrystal0]]."
< 1754186704 539396 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection
< 1754186733 878903 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4
< 1754188286 110623 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection
> 1754189164 881059 PRIVMSG #esolangs :14[[07Telifuck14]]4 M10 02https://esolangs.org/w/index.php?diff=162786&oldid=162764 5* 03PkmnQ 5* (+8) 10/* Programs */
< 1754190329 923846 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1754196587 355032 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162787&oldid=162777 5* 03Junkshipp 5* (+494) 10
< 1754199234 441498 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Ping timeout: 276 seconds
< 1754200377 423741 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1754201795 903764 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754201827 155225 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Client Quit
< 1754203657 309627 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1754203849 414210 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1754204253 105591 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754205956 524642 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1754208314 428863 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1754209009 452536 PRIVMSG #esolangs :14[[07Condit14]]4 M10 02https://esolangs.org/w/index.php?diff=162788&oldid=149916 5* 03Ractangle 5* (+0) 10/* Examples */
< 1754210028 15533 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Hi
< 1754210738 66366 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1754213392 491111 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Ractangle 5*  10uploaded "[[02File:Flower made in CFRS.png10]]"
> 1754213451 320515 PRIVMSG #esolangs :14[[07CFRS14]]4 M10 02https://esolangs.org/w/index.php?diff=162790&oldid=121109 5* 03Ractangle 5* (+223) 10/* Examples */
< 1754214050 137148 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754214420 763741 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
> 1754218508 277092 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=162791&oldid=162248 5* 03PrySigneToFry 5* (+154) 10/* It's your turn in User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF. */ new section
< 1754218645 108357 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754219576 968100 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754220057 57262 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1754220058 953853 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds
< 1754220221 667306 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1754223188 948198 :FreeFull!~freefull@79.186.59.71.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
< 1754223817 679165 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754223989 861378 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
> 1754224238 62961 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=162792&oldid=162791 5* 03Hotcrystal0 5* (+278) 10
> 1754225131 730274 PRIVMSG #esolangs :14[[07User talk:Pifrited14]]4 10 02https://esolangs.org/w/index.php?diff=162793&oldid=161659 5* 03Pifrited 5* (+158) 10
> 1754225997 487651 PRIVMSG #esolangs :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=162794&oldid=149238 5* 03WarzokERNST135 5* (+136) 10/* Commands */ Added No mans fish variation
> 1754226525 270677 PRIVMSG #esolangs :14[[07User:Pifrited/PasteBin14]]4 M10 02https://esolangs.org/w/index.php?diff=162795&oldid=162369 5* 03Pifrited 5* (+125) 10
> 1754226570 542022 PRIVMSG #esolangs :14[[07No mans fish14]]4 10 02https://esolangs.org/w/index.php?diff=162796&oldid=162783 5* 03WarzokERNST135 5* (+128) 10
> 1754226871 497459 PRIVMSG #esolangs :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=162797&oldid=162794 5* 03WarzokERNST135 5* (+52) 10/* Variants of deadfish */ Added No mans fish
> 1754227080 641704 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=162798&oldid=162344 5* 03PrySigneToFry 5* (+116) 10
> 1754227580 834568 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=162799&oldid=154994 5* 03WarzokERNST135 5* (+43) 10/* Survey */ Added (piggus)
< 1754227671 561064 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :ZNC - https://znc.in
< 1754227747 158129 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754227891 661761 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
> 1754228740 219147 PRIVMSG #esolangs :14[[07Quack14]]4 N10 02https://esolangs.org/w/index.php?oldid=162800 5* 03WarzokERNST135 5* (+520) 10Created page with "{{WIP}} [[Quack]] is an [[esolang]] made by [[WarzokERNST135]]. ==Commands== {{cd|quack}}: Starts the program. <br>{{cd|kcauq}}: Ends the program. <br>{{cd|caukq}}: Starts a loop, until the pointer's value reaches 0. <br>{{cd|kaucq}}: Ends a loop. <br>{{cd|cuaqk}}: 
< 1754228764 803767 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1754228765 633017 PRIVMSG #esolangs :14[[07User:WarzokERNST13514]]4 10 02https://esolangs.org/w/index.php?diff=162801&oldid=162784 5* 03WarzokERNST135 5* (+14) 10
> 1754228800 313626 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=162802&oldid=161372 5* 03PrySigneToFry 5* (+297) 10
> 1754228871 569146 PRIVMSG #esolangs :14[[07Titin14]]4 M10 02https://esolangs.org/w/index.php?diff=162803&oldid=150056 5* 03PrySigneToFry 5* (+9) 10
> 1754229269 869208 PRIVMSG #esolangs :14[[07User:WarzokERNST135/Hydrogen monoxide14]]4 N10 02https://esolangs.org/w/index.php?oldid=162804 5* 03WarzokERNST135 5* (+300) 10Hydrogen monoxide
> 1754229411 202962 PRIVMSG #esolangs :14[[07User:WarzokERNST135/Hydrogen monoxide/Cube14]]4 N10 02https://esolangs.org/w/index.php?oldid=162805 5* 03WarzokERNST135 5* (+168) 10Created page with "How did you get here? ==3== Code some more <pre> if (you found this through the recent changes){    say "ok that's normal" } else {    say "AAAAAAAAAAAAAAAAAA" } </pre>"
> 1754229568 709550 PRIVMSG #esolangs :14[[07User:WarzokERNST135/14]]4 N10 02https://esolangs.org/w/index.php?oldid=162806 5* 03WarzokERNST135 5* (+80) 10Redirected page to [[User talk:/w/wiki/index.php/Talk:index.php/Main page]]
> 1754229740 320168 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=162807&oldid=162802 5* 03WarzokERNST135 5* (+165) 10/* Commands */
< 1754229762 9640 :FreeFull!~freefull@79.186.59.71.ipv4.supernova.orange.pl QUIT :
< 1754229838 966033 :FreeFull!~freefull@79.186.59.71.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
> 1754230017 438704 PRIVMSG #esolangs :14[[07User:/nil14]]4 N10 02https://esolangs.org/w/index.php?oldid=162808 5* 03WarzokERNST135 5* (+315) 10Created page with "[[User:/nil]] is one of the weirdest esolangs in the world. ==Commands==  {{cd|null}}: Breaks the pointer and crashes the Moon onto the Earth.  {{cd|User:WarzokERNST135}}: Creates a black hole and eats the next bits of code.  ==Contribute?== You can contribute t
> 1754230130 85288 PRIVMSG #esolangs :14[[07User talk:/nil14]]4 N10 02https://esolangs.org/w/index.php?oldid=162809 5* 03WarzokERNST135 5* (+235) 10Created page with "[[User talk:/nil]] is as weird as [[User:/nil]] but it also allows you to create MORE programming languages using this prefix:  '''User talk:/nil/(PROGRAMMING LANGUAGE HERE)'''  Also this esolang also has the commands of [[User:/nil]]."
> 1754230808 996808 PRIVMSG #esolangs :14[[07Template:FontColor14]]4 N10 02https://esolangs.org/w/index.php?oldid=162810 5* 03WarzokERNST135 5* (+146) 10I made this by hand.
> 1754230853 602347 PRIVMSG #esolangs :14[[07Template talk:FontColor14]]4 N10 02https://esolangs.org/w/index.php?oldid=162811 5* 03WarzokERNST135 5* (+106) 10Created page with "If you say I took this from Wikipedia, compare it to Wikipedia's version. It's different from this version"
< 1754231824 415780 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Quit: ZNC 1.10.1 - https://znc.in
> 1754231914 935445 PRIVMSG #esolangs :14[[07Zowm14]]4 10 02https://esolangs.org/w/index.php?diff=162812&oldid=162728 5* 03Dhzb 5* (+72) 10
> 1754231963 854368 PRIVMSG #esolangs :14[[07User:Pifrited/PasteBin14]]4 10 02https://esolangs.org/w/index.php?diff=162813&oldid=162795 5* 03Pifrited 5* (+1260) 10
> 1754232467 500916 PRIVMSG #esolangs :14[[07Zowm14]]4 10 02https://esolangs.org/w/index.php?diff=162814&oldid=162812 5* 03Dhzb 5* (+57) 10
> 1754233280 922126 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162815&oldid=162787 5* 03Junkshipp 5* (+746) 10/* Syntax */
< 1754233362 18525 :nitrix!~nitrix@user/meow/nitrix QUIT :Ping timeout: 248 seconds
< 1754233498 187154 :nitrix!~nitrix@user/meow/nitrix JOIN #esolangs nitrix :ZNC - https://znc.in
> 1754235287 387565 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=162816&oldid=161107 5* 03PrySigneToFry 5* (+840) 10
> 1754238789 442716 PRIVMSG #esolangs :14[[07(piggus)14]]4 10 02https://esolangs.org/w/index.php?diff=162817&oldid=162778 5* 03Corbin 5* (-22) 10This is an output-only language, so not TC; fixing categories. A [[trivial brainfuck substitution]] would go in the other direction to inherit BF's TC-ness.
> 1754238830 780596 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=162818&oldid=162799 5* 03Corbin 5* (-42) 10/* Survey */ Remove non-TC language.
< 1754239091 806981 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat
< 1754240185 230217 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754241119 147602 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1754241318 135771 PRIVMSG #esolangs :14[[07BytePusher14]]4 M10 02https://esolangs.org/w/index.php?diff=162819&oldid=160560 5* 03Blashyrkh 5* (+158) 10/* Programs/Fire */ Replace IPFS links (all dead) with github links
< 1754241359 758246 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection
> 1754242084 500000 PRIVMSG #esolangs :14[[07Subleq extra14]]4 10 02https://esolangs.org/w/index.php?diff=162820&oldid=162657 5* 03Ilikeundertale 5* (-87) 10removed nonexistant cagetories i added without knowing they dont exist
< 1754242112 343740 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1754242145 986863 PRIVMSG #esolangs :14[[07Subleq extra14]]4 10 02https://esolangs.org/w/index.php?diff=162821&oldid=162820 5* 03Ilikeundertale 5* (+0) 10
> 1754244345 60728 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=162822&oldid=162818 5* 03Corbin 5* (+2392) 10Start structuring the list to reduce vanity tagging. Combinators are an easy first target.
< 1754244359 80158 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...I need to actually compute Iota's rank now.
< 1754245472 901556 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1754247052 707628 PRIVMSG #esolangs :14[[07Iota14]]4 10 02https://esolangs.org/w/index.php?diff=162823&oldid=159787 5* 03Corbin 5* (+634) 10/* Semantics */ Hack out a justifiable single-combinator basis; unify grammar somewhat.
< 1754247283 648774 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf JOIN #esolangs * :Textual User
< 1754247745 426009 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I think I can do a bit better. iota of K is precisely S, so ι K x y z = S x y z ought to require rank four. Just gotta hack out the proof tree.
< 1754250010 5774 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, there might be a problem. ι is defined as ι f = f S K. But if S and K are trees made entirely of ι then they don't reduce away. So I'm suddenly very concerned that ι is not actually complete, in the sense that it might not admit the same reduction rules as SK.
< 1754250043 586161 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...And this affects Fokker's basis too. This is not good. Hopefully I've just misunderstood horribly and everything will make sense after lunch.
< 1754250190 305489 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Barker's definition of Iota seems to require the intermediate reductions to S and K. I'm checking whether an intermediate reduction to I would suffice. Either way, I think that this entire line of historical reasoning might need a re-examination.
< 1754250611 697466 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...No, it looks like both S and K are required. I'm going to hope that somebody can tell me what I'm doing wrong, and in the meantime, lunch.
> 1754252668 378585 PRIVMSG #esolangs :14[[07(piggus)14]]4 10 02https://esolangs.org/w/index.php?diff=162824&oldid=162817 5* 03WarzokERNST135 5* (+98) 10/* Turing completeness proof */
< 1754253017 210919 :DOS_User!~DOS_User@user/DOS-User:11249 JOIN #esolangs DOS_User :realname
< 1754253722 178298 :DOS_User!~DOS_User@user/DOS-User:11249 QUIT :Quit: Leaving
> 1754253866 53630 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=162825 5* 03WarzokERNST135 5* (+140) 10Created page with "[[]] is an esolang made by [[WarzokERNST135]]. ==[[XKCD Random Number]]==  4. ==[[Hello World]]==  "Hello World". ==[[Cat program]]==  i."
> 1754253895 913050 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=162826&oldid=162825 5* 03WarzokERNST135 5* (+23) 10
> 1754253997 654016 PRIVMSG #esolangs :14[[07User:WarzokERNST13514]]4 10 02https://esolangs.org/w/index.php?diff=162827&oldid=162801 5* 03WarzokERNST135 5* (+12) 10
< 1754254648 436689 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Good Night
< 1754256054 563024 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :ZNC - https://znc.in
> 1754256172 461788 PRIVMSG #esolangs :14[[07Definition14]]4 M10 02https://esolangs.org/w/index.php?diff=162828&oldid=150789 5* 03Ractangle 5* (+6) 10/* Syntax */  "do" now requires two arguments
> 1754256210 37696 PRIVMSG #esolangs :14[[07Definition14]]4 M10 02https://esolangs.org/w/index.php?diff=162829&oldid=162828 5* 03Ractangle 5* (-8) 10/* Truth-machine */
> 1754258412 614879 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162830&oldid=162815 5* 03Junkshipp 5* (+331) 10/* Calling functions */
< 1754259215 843178 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1754259247 344479 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: so a while ago, I was implementing SK combinator calculus, except I was implementing it in continuation-passing style
< 1754259270 42792 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and something similar happened: I seemed to need an extra temporary combinator, I couldn't use just S and K (and S1, S2, K1) in the internals
< 1754259365 355243 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :eventually I traced that back to S not specifying the evaluation order of its arguments, whereas continuation-passing-style forces an explicit evaluation order: S a b c is (a c) (b c) which, if you're compiling to a VM with an explicit evaluation order, requires you to evaluate one of (a c) or (b c) before the other, and then you need a temporary to represent the *unevaluated* (a c) or (b c) while the other is being evaluated
< 1754259385 217175 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it wouldn't surprise me if you've observed the same basic phenomenon with iota, just with some other virtual machine property
< 1754259439 255085 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(context for people who haven't seen the notation before: S1, S2, K1 are the names for combinators that apply S or K to insufficiently many arguments, so that they can't be evaluated further without more arguments appearing)
< 1754259465 242591 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :e.g. the normal form of S S K is (S2 S K) which is a single combinator, you can think of it as a struct with S in the first field and K in the second
< 1754259536 152782 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(correction: I said "S not specifying the evaluation order of its arguments" but I meant the partially-applied applications inside it, not the argumetns)
< 1754259641 855007 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I try not to say things I don't mean, but sometimes it happens by mistake :-(
< 1754259657 759941 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat
< 1754259945 980367 :tromp!~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754260677 748880 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Ping timeout: 252 seconds
< 1754262411 66071 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh, interesting. That could be related.
< 1754262499 768496 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :As I was explaining this to a friend over lunch, I realized that when we build applicative trees, we also introduce an intermediate pseudo-combinator, usually called @, with a rule like @ x y = x y, which reifies application.
< 1754262548 499513 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Ugh, bad sentence structure, sorry.) An applicative tree has some maintenance associated with it, and we don't always reify that maintenance. Combinatory logic makes the assumption that application will be managed for us but everything else must be explicit.
< 1754262965 733962 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I think that the S1, S2, K1 conventions are definitely part of what's going on. We're so used to lambda terms having an equivalence with combinators, but we've not taken care to think about how combinators must encode the reduction rules of LC.
< 1754263276 206286 :fruits4fruits!~f4fruits@user/fruits4fruits JOIN #esolangs fruits4fruits :realname
< 1754263295 996863 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Okay, I think I've got a sketch of a proof. Let I, S, and K be represented by some trees only built with ι. Let ι f x… = f S K x…, with arbitrary extent. Then any "reduction" of ι is going to produce a bigger tree of ι. There's no eliminator.
< 1754263313 727968 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :um
< 1754263325 855343 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :nbm
< 1754263346 848725 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :fruits4fruits: Hi! We're doing some maths. Don't worry about it. How are you?
< 1754263355 228836 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :im good
< 1754263464 914983 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: But anyway, now I'm kind of on the other side of the looking glass and I'm thinking of going back and re-reading Fokker's paper as well as Barendregt's notes. At some point we started writing down expressions that aren't obviously combinators, and we didn't catch it because we figured that the failure of simple typing was the only relevant warning.
< 1754264367 870369 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection
< 1754265398 918901 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 245 seconds