git.iko.soy/Idris-dev
on 8a3d348 help sign in
Idris-dev/libs/contrib/Data
13 files
../ BoundedList.idrMove more less-supported things to contrib Fun.idrInitial reorganization into contrib Graph.idrMove Graph.idr & Polyhedra.idr to contrib. Hash.idrMove more less-supported things to contrib Heap.idrMove Algebra to contrib properly Matrix.idrMove Algebra to contrib properly Nat.idrClean up exports in Data.Nat in contrib Polyhedra.idrMove Graph.idr & Polyhedra.idr to contrib. Rel.idrInitial reorganization into contrib Sign.idrMove more less-supported things to contrib SortedMap.idrInitial reorganization into contrib SortedSet.idrInitial reorganization into contrib ZZ.idrMove more less-supported things to contrib