git.iko.soy/Idris-dev
on master help sign in
Change 'iota' syntax to allow spaces
a787da0Reynir Björnsson
libs/prelude/Prelude.idr+2−2
compare with master
unifiedsplit
@@ -412,9 +412,9 @@ syntax "[" [start] ".." [end] "]"
412syntax "[" [start] "," [next] ".." [end] "]"
412syntax "[" [start] "," [next] ".." [end] "]"
413 = enumFromThenTo start (next - start) end
413 = enumFromThenTo start (next - start) end
414
414
415−syntax "[" [start] "..]"
415+syntax "[" [start] ".." "]"
416 = enumFrom start
416 = enumFrom start
417−syntax "[" [start] "," [next] "..]"
417+syntax "[" [start] "," [next] ".." "]"
418 = enumFromThen start (next - start)
418 = enumFromThen start (next - start)
419
419
420---- More utilities
420---- More utilities