git.iko.soy/Idris-dev
on f387ef0 help sign in
Idris-dev/lib/Data
7 files
../ Bits.idrMove bitstring stuff to Data to reduce potential for name clashes Mod2.idrMove bitstring stuff to Data to reduce potential for name clashes Morphisms.idrrenamed homomorphism to morphism Sign.idrAdd inductive integers SortedMap.idrRenamed Map and Set to SortedMap and SortedSet SortedSet.idrRenamed Map and Set to SortedMap and SortedSet Z.idrAdd inductive integers