Hi all. The details of the re-naming process for the project currently known as Wikilambda are now at https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Wiki_of_functions_naming_... I'd appreciate your questions or feedback onwiki! I've added some additional notes on the talkpage there, too.[1]
Over the next 2 weeks I'll send out wider reminders for people to continue proposing alternative names. The first round of voting will begin on 29 September.
Please add any comments about specific names into the new locations, linked there. I'll be working to migrate content from the old talkpage, too.
I'll update this thread with each of the next steps over the coming weeks.
Thanks as always, Nick / Quiddity
[1] https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Wiki_of_functions_na... And also some comments at https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia/Name#Naming_process_...