[01:28:03] I missed a number of messages here (phone replacement), apologies. Michael, that sounds great! I'll let Nick and Lucas know. It's totally too early for that, but that's exactly why it could be fun. (re @wmtelegram_bot: Hey wikifunctions / abstract wikipedia team 👋. Do you plan to join the Wikimedia Hackathon May 20-22? I wonder i...) [01:31:00] That's also something we could trailblaze. Just to see how hard it would be to do so. (re @mahir256: That sounds neat! I'd love to try porting Udiron to the Wikilambda platform then!) [01:32:24] That's basically the current normal form, same as Lisp. (re @Csisc1994: rdf:list, rdf:first, rdf:rest and rdf:nil are used to define lists in semantic resources. Wikifunctions can reproduce this.) [01:33:05] I was thinking of that too. It would be really compact. I'll add it as an option to the list of options. Thanks! (re @benjaminaaron: Could it be an option to include the type of list as the first element in the list? It's a bit of a hack though and requires spe...) [04:35:29] Hey, to be fair we were always saying that the functions are functional. But I want to read up about Catenas now! Thanks for the effort (re @mahir256: Some side effects of this transition are the replacement of the 'Clause' as a unit of syntax with the 'Catena' (Q1287636), the m...)