Arthur Smith

Ooh, we really should work with python3, not rely on python2 here! That's interesting at least though...

Unfortunately the flux in the Vue component parser in Mediawiki ResourceLoader has also broken the display of the language boxes - I've posted comments on what I hope is the...

Note I've updated the main Dockerfile so the regular docker build should just work now with these changes for editing, no need to copy in a special Dockerfile. It is...

Last commit fixed the language box problem. I think this is ready to use... :)

So what would be the 'type' of Z8 then? Function(Type, [Type, List])? I don't quite see how this works, but it sounds intriguing... How would you express that in json?...

The quoting approach might be reasonable. Presumably it could be nested? So you could have ``` { "Z1K1": { "Z1K1": "Z99", "Z99K1": "Z8", "Z8K1": { "Z1K1": "Z99", "Z99K1": "Z8", "Z8K1":...

@vrandezo have you considered establishing a mailing list to discuss things in more detail? Until then I guess github issues provide a forum for us ... So, it seems to...

Definitely this is a bit tricky to even wrap your brain around... I had a very rough idea of starting with something like Peter Norvig's python lisp interpreter - https://norvig.com/lispy.html...

Also ATLAS 2020 S-Z list has 2 redirects not showing (need to be deleted)

Fixed in latest commit