git.iko.soy/Idris-dev
on master help sign in
Make (++) right associative
b8ef4f4Melvar Chen
libs/prelude/Prelude/List.idr+1−2
compare with master
unifiedsplit
@@ -12,8 +12,7 @@ import Prelude.Nat
12%access public
12%access public
13%default total
13%default total
14
14
15−infixr 7 ::
15+infixr 7 ::,++
16−infixl 8 ++
17
16
18%elim data List a
17%elim data List a
19 = Nil
18 = Nil