From 37198812016cf53ca2b3fb832d8d09d528f81098 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 6 Oct 2016 17:23:17 +0200
Subject: List notation shortcut (resolves #5)

---
 doc/grammar.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/grammar.tex b/doc/grammar.tex
index 00e24b8..111cfc8 100644
--- a/doc/grammar.tex
+++ b/doc/grammar.tex
@@ -24,8 +24,11 @@
 		\alt <Simple-list>
 		\alt <Simple-tuple>
 
-	<Simple-list> ::= `[' <Simple-expr> `:' <Simple-list> `]'
+	<Simple-list> ::= `[' <Simple-expr-list> `:' <Simple-list> `]'
+		\alt `[' <Simple-expr-list> `]'
 		\alt `[]'
+
+	<Simple-expr-list> ::= <Simple-expr> `,' <Simple-expr-list> | <Simple-expr>
 	
 	<Simple-tuple> ::= `(' <Simple-expr> `,' <Simple-expr> `)'
 
-- 
cgit v1.2.3