../ Bool/Text.Lexer: add `concat`9 years ago 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/Added export and totality directives (#4360)9 years ago Matrix/Moved `abs` from the `Neg` interface into its own `Abs` interface. (Issue 3500)9 years ago Nat/Add parity functions for naturals. (#4201)9 years ago Pairs/add Data.Pairs.Implicit for converting erased pairs9 years ago Stream/improve documentation for Data.Stream.Extra.startWith9 years ago String/Data.String.Extra: more String utilities9 years ago BoundedList.idrAdd conversions between BoundedList and Vect9 years ago Chain.idrVarious additions to contrib (#4343)9 years ago CoList.idrUpdate CoList.idr9 years ago Combinators.idrVarious additions to contrib (#4343)9 years ago Fuel.idrmove `Fuel` data type into its own module9 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 PosNat.idrFixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)9 years ago Rel.idrChange export qualifier keywords11 years ago Sign.idrChange export qualifier keywords11 years ago SortedBag.idrFixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)9 years ago SortedMap.idrVarious additions to contrib (#4343)9 years ago SortedSet.idrForgot a few `export`s9 years ago Storable.idrPurify Idris of "return"10 years ago ZZ.idrMoved `abs` from the `Neg` interface into its own `Abs` interface. (Issue 3500)9 years ago