Denny Vrandečić

No, I think you're asking the right question. To the best of my memory, this is not an intentional pattern. I have somewhere in my Todo list "go and clean...

Yes, editing is... A VERY BIG OPPORTUNITY for improvement :) To be honest, I don't really know how to tackle it. I guess, the first step is always to choose...

Sorry, no experience with that. I think it's more than a decade since I did any UI work on MediaWiki the last time :)

Ouch, thanks, you're right. I removed the Q item key. I actually don't think that's a good idea anymore. https://github.com/google/abstracttext/commit/761f090127852c7b0d57a0d77ff56f12a2202900#diff-8089dfabe6f3be38e0bb698ca072cd53 Thanks for reporting!

Probably not OOUI but vue.js is the way forward, as far as I understand.

@thadguidry kinda. The advantage we have is that we have no polymorphism, so it can be hopefully easier.

@arthurpsmith yes, that's a great point. I was hoping that the type of the add function would indeed be something like Function(Boolean, [Boolean, Boolean]) In JSON notation, we first would...

Yes, absolutely!

Yes, absolutely! There should be a type to represent datasets, and functions over that type. That would be pretty awesome.

Yes, I think that is right. One consideration was that one could internalize more than is currently internalized, and make the kernel simpler. For example, the kernel has currently a...