../ 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 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.idrPurify Idris of "return"10 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.idrAdd proofs to Data.ZZ in contrib10 years ago