git.iko.soy/Idris-dev
on f8ea178 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.idrRemove "return" from Monad Sign.idrAdd inductive integers SortedMap.idrSome unification fixes 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