git.iko.soy/Idris-dev
on affd239 help sign in
Idris-dev/lib/Data
1 folder, 8 files
../ Vect/Define Any/All quantifiers for Vect Bits.idrMore Integer fixups BoundedList.idrUpdated bounded lists 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 Z.idrDefault to Integer instead of Int, and adjust fromInteger accordingly