[09:13:24] I didn’t mention T37008 because it’s in progress (but only for Map function, not Filter, which has never been raised, as far as I know). (re @Al: Yes… T367005 should go without saying (though I’ll say it) but T370028 will need some thought. We can only untype a list current...) [09:14:08] T370028, even 🙄 (re @Al: I didn’t mention T37008 because it’s in progress (but only for Map function, not Filter, which has never been raised, as far as ...) [09:21:42] In T390226#10697540 I didn’t mention T367005 because that’s in progress (but only for Map function; the same change seems appropriate for Filter too). (re @Al: Yes… T367005 should go without saying (though I’ll say it) but T370028 will need some thought. We can only untype a list current...) [09:30:30] Ah, good. I put something in the ticket and it’s probably a good idea to check it out. (re @u99of9: It looks like I didn't need quite as much typing and untyping as was in the version you commented on. But I agree it's worth bei...) [09:41:24] did it rename from wikifunctions to abstract wikipedia ? [09:43:18] No, they are different, but related, concepts. (re @SvetaT23: did it rename from wikifunctions to abstract wikipedia ?) [11:13:26] simply said: Wikifunctions is the tool, Abstract Wikipedia is the goal (re @SvetaT23: did it rename from wikifunctions to abstract wikipedia ?) [17:25:27] Not really (re @Nicolas: simply said: Wikifunctions is the tool, Abstract Wikipedia is the goal)