../ Combinators/Added various combinators, most of which are also present in Haskell9 years ago Fin/Elements of Fin when converted to Nat are smaller than the Bound. (#3407)10 years ago List/Zipper implementation for Lists10 years ago Matrix/Change Instance to implementation (#3404)10 years ago Nat/Move Accessible to Prelude11 years ago Pairs/add Data.Pairs.Implicit for converting erased pairs9 years ago Stream/improve documentation for Data.Stream.Extra.startWith9 years ago String/add some new functions to Data.String.Extra9 years ago BoundedList.idrChange export qualifier keywords11 years ago CoList.idrUpdate CoList.idr9 years ago Combinators.idrAdded various combinators, most of which are also present in Haskell9 years ago Fun.idrChange export qualifier keywords11 years ago Graph.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Hash.idrChange export qualifier keywords11 years ago Heap.idradd Uninhabited instances for True=False, remove unused proof from Data.Heap9 years ago IOArray.idrAdded Data.IOArray for mutable array primitives9 years ago Matrix.idrChange export qualifier keywords11 years ago Monoid.idrStarted work on Data.Monoid10 years ago Polyhedra.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Rel.idrChange export qualifier keywords11 years ago Sign.idrChange export qualifier keywords11 years ago SortedMap.idrForgot a few `export`s9 years ago SortedSet.idrForgot a few `export`s9 years ago Storable.idrPurify Idris of "return"10 years ago ZZ.idrMake a few Show instances parenthesise properly9 years ago