../ 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 BoundedList.idrChange export qualifier keywords11 years ago CoList.idrUpdate CoList.idr9 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 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 String.idrUpdate String.idr12 years ago ZZ.idrMake a few Show instances parenthesise properly9 years ago