[14:36:44] <wm-bb>	 <Feeglgeef> Can an administrator close Sun8908's functioneer request on [[WP:RFP]]
[14:36:59] <wm-bb>	 <Feeglgeef> /delete@wikilinksbot
[14:37:09] <wm-bb>	 <Feeglgeef> [[WF:RFP]]
[16:18:56] <wm-bb>	 <Ameisenigel> Done (re @Feeglgeef: Can an administrator close Sun8908's functioneer request on)
[19:53:54] <virinas-code>	 How can one request for their implementation to be connected?
[19:55:10] <wm-bb>	 <Feeglgeef> On the [[Wikifunctions:Community portal]], though if you give me the ID I can connect it for you (re @wmtelegram_bot: <virinas-code> How can one request for their implementation to be connected?)
[19:56:22] <virinas-code>	 Z34264, it's a bit silly i know
[19:57:50] <wm-bb>	 <Feeglgeef> Done, would you mind adding some tests? (re @wmtelegram_bot: <virinas-code> Z34264, it's a bit silly i know)
[19:58:47] <virinas-code>	 Will do!
[20:05:31] <virinas-code>	 Feeglgeef: whoopsies, the argument should be an Object and not a Typed list(Object), and I don't have permission to edit it :< (added a test for S(1), works perfectly otherwise!)
[20:24:56] <wm-bb>	 <Feeglgeef> I've disconnected it and changed the argument
[20:25:02] <wm-bb>	 <Feeglgeef> Sorry for taking a while to reply
[20:25:38] <wm-bb>	 <Feeglgeef> PSA that I've moved the Connection and Disconnection requests to their own page, [[WF:RFCD]] (re @Feeglgeef: On the [[Wikifunctions:Community portal]], though if you give me the ID I can connect it for you)
[20:45:29] <virinas-code>	 just realised my implementation is wrong too whoopsies again
[20:45:36] <virinas-code>	 will fix everything in a dozen minutes
[21:28:08] <virinas-code>	 I have plans to remake basic arithmetic functions (addition, multiplication, hyperoperator?) using typed lists and von Neumann ordinals
[21:28:24] <virinas-code>	 doing so with composition of builtins only ofc
[21:28:38] <virinas-code>	 it's actually quite fun but hard too
[21:28:55] <virinas-code>	 next task on the to-do list is set equality
[21:29:09] <virinas-code>	 (equality of typed lists without taking order into account)
[21:29:57] <virinas-code>	 probably going to do so by checking if (A⊆B)∧(B⊆A)
[21:30:33] <virinas-code>	 because once this is equivalent to number equality with von Neumann ordinals
[23:38:05] <wm-bb>	 <u99of9> If you haven't already, take a look at Z12846 (re @wmtelegram_bot: <virinas-code> probably going to do so by checking if (A⊆B)∧(B⊆A))