../ 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.idrChange export qualifier keywords11 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.idrNew rules for name visibility11 years ago SortedSet.idrChange export qualifier keywords11 years ago Storable.idrPurify Idris of "return"10 years ago String.idrUpdate String.idr12 years ago ZZ.idrAdd proof of associativity of addition for integers (Data.ZZ).10 years ago