Denny Vrandečić

D'oh! I just realised that many of the builtins could be moved to be implementations, because, well, they could simply be JavaScript implementations. That's not true for all (I know...

Lucas, yes, that's exactly it. alpha is alpha conversion, beta is is beta reduction, and Z7 evaluation should be the only entrypoint to both alpha and beta. (Furthermore I would...

Thad, yes, it is both are based on lambda calculus' use of the terms.

Good idea, will do with the comments. I actually don't think evaluation has to work that way. It might be entirely possible that evaluation can work in a much different...

I added some documentation: https://github.com/google/abstracttext/commit/d1910153948be7e1503f7e340a06b01072d77bfa https://github.com/google/abstracttext/commit/8edc0c4212daa732811338e7283c0b4ea3234ee4 Let me know if that makes sense by closing this issue, or offer feedback on how to improve it. By the way, I think...

A mailing list is probably a good idea. The one thing that has prevented me from doing it so far is naming the list and where to put the mailing...

Maybe. Or any other lexer and parser generator. For the function call syntax in eneyj itself it's overkill. For the other languages I would leave that choice to whoever implements...

Re @arthurpsmith : But that's for the semantics of the functions, not for tokenizing and parsing. It should be possible to implement the parser and then hand over the actual...

According to https://lists.wikimedia.org/pipermail/wikidata/2015-April/005806.html the data is CC0. It would be great if Haklae or someone else would confirm.