../ 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.idrMerge pull request #3771 from Synthetica9/SortedSet_TODO_Done10 years ago SortedSet.idrFixed visibility for implementations for SortedSet9 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