5 earlier thoughts
So the "executable grammars" are strongly related to the idea of "executable papers" in the sciences.
2 later thoughts
Keyboard navigation
?
c
g
j
←
k
→
p
s
ctrl + enter
alt + enter
esc