Grammar: Difference between revisions
k.txt from webarchive
("Fix typo") |
(k.txt from webarchive) |
||
Line 1:
The following one-line '''grammar''' describes the essence of k syntax<ref>
E:E;e|e e:nve|te| t:n|v v:tA|V n:t[E]|(E)|{E}|N
|
("Fix typo") |
(k.txt from webarchive) |
||
Line 1:
The following one-line '''grammar''' describes the essence of k syntax<ref>
E:E;e|e e:nve|te| t:n|v v:tA|V n:t[E]|(E)|{E}|N
|