git.iko.soy/Idris-dev
on master help sign in
Rename List.Extra to List.Reverse
2e994cdNick Drozd
libs/contrib/Data/List/Extra.idr → libs/contrib/Data/List/Reverse.idrrenamed+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module Data.List.Extra
1+module Data.List.Reverse
2
2
3%default total
3%default total
4%access export
4%access export
libs/contrib/contrib.ipkg+1−1
@@ -43,7 +43,7 @@ modules = CFFI
43 , Data.Heap
43 , Data.Heap
44 , Data.IOArray
44 , Data.IOArray
45 , Data.List.Zipper
45 , Data.List.Zipper
46− , Data.List.Extra
46+ , Data.List.Reverse
47
47
48 , Data.Matrix
48 , Data.Matrix
49 , Data.Matrix.Algebraic
49 , Data.Matrix.Algebraic