git.iko.soy/Idris-dev
on e2005e1 help sign in
Idris-dev/libs/contrib/Data
2 folders, 15 files
../ Matrix/Change export qualifier keywords Nat/Move Accessible to Prelude BoundedList.idrChange export qualifier keywords CoList.idrChange export qualifier keywords Fun.idrChange export qualifier keywords Graph.idrMove Graph.idr & Polyhedra.idr to contrib. Hash.idrChange export qualifier keywords Heap.idrFix evaluation/elaboration of holes in expressions Matrix.idrChange export qualifier keywords Polyhedra.idrMove Graph.idr & Polyhedra.idr to contrib. Rel.idrChange export qualifier keywords Sign.idrChange export qualifier keywords SortedMap.idrNew rules for name visibility SortedSet.idrChange export qualifier keywords Storable.idrImplement primitive memory access functions String.idrUpdate String.idr ZZ.idrChange export qualifier keywords