Grammar: Difference between revisions

Content added Content deleted
("Fix typo")
(k.txt from webarchive)
 
Line 1: Line 1:
The following one-line '''grammar''' describes the essence of k syntax<ref>[https://kparc.com/k.txt kparc.com/k.txt]</ref>:
The following one-line '''grammar''' describes the essence of k syntax<ref>https://web.archive.org/web/20220826224612/https://kparc.com/k.txt</ref>:


E:E;e|e e:nve|te| t:n|v v:tA|V n:t[E]|(E)|{E}|N
E:E;e|e e:nve|te| t:n|v v:tA|V n:t[E]|(E)|{E}|N