../ Fin/Elements of Fin when converted to Nat are smaller than the Bound. (#3407)10 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 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.idrChange export qualifier keywords11 years ago