git.iko.soy/Idris-dev
on c2efadd help sign in
Idris-dev/lib/Data
1 folder, 10 files
../ Vect/Define Any/All quantifiers for Vect Bits.idrMore Integer fixups BoundedList.idrUpdated bounded lists HVect.idrMake additions public and require totality Mod2.idrMore Integer fixups Morphisms.idrrename fmap to map Sign.idrAdd inductive integers SortedMap.idrrename fmap to map SortedSet.idrRenamed Map and Set to SortedMap and SortedSet Vect.idrMake additions public and require totality Z.idrDefault to Integer instead of Int, and adjust fromInteger accordingly