on master help sign in
Merge pull request #1137 from reynir/iota-syntax

Change 'iota' syntax to allow spaces

commit29c18d73877439fce9d77ee2f536c25b98217339 authorDavid Christiansen <david@davidchristiansen.dk> dateWed 30 Apr 2014, 22:40 (12 years ago) parent34e25c2a787da0
1 file changed+2−2
libs/prelude/Prelude.idr+2−2
libs/prelude/Prelude.idr+2−2
@@ -412,9 +412,9 @@ syntax "[" [start] ".." [end] "]"
412412syntax "[" [start] "," [next] ".." [end] "]"
413413 = enumFromThenTo start (next - start) end
414414
415−syntax "[" [start] "..]"
415+syntax "[" [start] ".." "]"
416416 = enumFrom start
417−syntax "[" [start] "," [next] "..]"
417+syntax "[" [start] "," [next] ".." "]"
418418 = enumFromThen start (next - start)
419419
420420---- More utilities