remove fixity redefinition for ++
commit2c9dd02cc37a18631a02eda0c97a841579394213
authorHeather <heather@live.ru>
dateTue 28 Apr 2015, 14:28 (11 years ago)
parent4d72379
libs/contrib/Data/CoList.idr−2
@@ -7,8 +7,6 @@ codata CoList : Type -> Type where
77 Nil : CoList a
88 (::) : a -> CoList a -> CoList a
99
10−infixr 7 ++
11−
1210||| Append two CoLists
1311(++) : CoList a -> CoList a -> CoList a
1412(++) [] right = right