@@ -7,8 +7,6 @@ codata CoList : Type -> Type where
7 Nil : CoList a
7 Nil : CoList a
8 (::) : a -> CoList a -> CoList a
8 (::) : a -> CoList a -> CoList a
12||| Append two CoLists
10||| Append two CoLists
13(++) : CoList a -> CoList a -> CoList a
11(++) : CoList a -> CoList a -> CoList a
14(++) [] right = right
12(++) [] right = right