git.iko.soy/Idris-dev
on 308efea help sign in
Idris-dev/lib/Data
1 folder, 8 files
../ Vect/Define Any/All quantifiers for Vect Bits.idrMove bitstring stuff to Data to reduce potential for name clashes BoundedList.idrUpdated bounded lists 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