git.iko.soy/Idris-dev
on ce39374 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.idrAdd bounded-length list type 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