On Thu, 2 Jul 2020 at 18:47, Samuel Klein meta.sj@gmail.com wrote:
P.S. I hope we still get some use out of the other excellent + generative name ;) https://meta.m.wikimedia.org/wiki/Wikilambda
Well, if nothing else, my initial code is going to be in https://www.mediawiki.org/wiki/Extension:WikiLambda so… ;-) J.