Rename List.Extra to List.Reverse
commit2e994cdef159a6057cce674e86a5f623c24bc3f8
authorNick Drozd <nicholasdrozd@gmail.com>
dateSat 29 Feb 2020, 09:28 (7 years ago)
parentbbd0f28
libs/contrib/Data/List/Extra.idr → libs/contrib/Data/List/Reverse.idrrenamed+1−1
@@ -1,4 +1,4 @@
1−module Data.List.Extra
1+module Data.List.Reverse
22
33%default total
44%access export
libs/contrib/contrib.ipkg+1−1
@@ -43,7 +43,7 @@ modules = CFFI
4343 , Data.Heap
4444 , Data.IOArray
4545 , Data.List.Zipper
46− , Data.List.Extra
46+ , Data.List.Reverse
4747
4848 , Data.Matrix
4949 , Data.Matrix.Algebraic