search

jfdm / idris-containers

Various data structures for use in the Idris Language.
BSD 3-Clause "New" or "Revised" License
95 stars 21 forks source link

change SubList to Thinning in Predicate.idr #33

Closed MarcelineVQ closed 5 years ago

MarcelineVQ commented 5 years ago

Export name was missed in earlier filename change, preventing package from actually building

jfdm commented 5 years ago

Sorry about that, I actually had a local fix that I forgot to push. Thanks for notifying me, i've pushed the local fix.