../ Matrix/Separate numeric/algebraic matrix ops from basic matrix functions11 years ago Nat/Add inductive divMod to contrib, move the wellfounded one11 years ago BoundedList.idrMove more less-supported things to contrib12 years ago CoList.idrbetter show implementation (Z case instead if else for limitation)12 years ago Fun.idrFix import public error11 years ago Graph.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Hash.idrMove more less-supported things to contrib12 years ago Heap.idrAdd showPrec to Show11 years ago Matrix.idrSeparate numeric/algebraic matrix ops from basic matrix functions11 years ago Polyhedra.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Rel.idrInitial reorganization into contrib12 years ago Sign.idrMove more less-supported things to contrib12 years ago SortedMap.idrGuarantee coherence of Ord in SortedMap/Set12 years ago SortedSet.idrGuarantee coherence of Ord in SortedMap/Set12 years ago String.idrUpdate String.idr12 years ago ZZ.idrMove more less-supported things to contrib12 years ago