../ BoundedList.idrMove more less-supported things to contrib12 years ago Buffer.idrInitial reorganization into contrib12 years ago Fun.idrInitial reorganization into contrib12 years ago Graph.idrMove Graph.idr & Polyhedra.idr to contrib.12 years ago Hash.idrMake `div` and `mod` functions partial.12 years ago Heap.idrMove Algebra to contrib properly12 years ago Matrix.idrMove Algebra to contrib properly12 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.idrInitial reorganization into contrib12 years ago SortedSet.idrInitial reorganization into contrib12 years ago ZZ.idrMove more less-supported things to contrib12 years ago