From 5fa8a5684cfb2456b536765b608f0883b1b90029 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 26 Aug 2016 14:00:29 +0200 Subject: Added strictness annotations --- doc/grammar.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/grammar.tex b/doc/grammar.tex index ac4f0ee..ee650c3 100644 --- a/doc/grammar.tex +++ b/doc/grammar.tex @@ -1,3 +1,4 @@ +% vim: nospell: \section{Grammar} \label{sec:grammar} @@ -12,7 +13,7 @@ ::= ` ' | - ::= + ::= [`!'] ::= \alt -- cgit v1.2.3