git.iko.soy/Idris-dev
on ea11519 help sign in
Idris-dev/lib/Data
1 folder, 8 files
../ Vect/Define Any/All quantifiers for Vect Bits.idrComment out most of Data.Bits and Data.Mod2 Since they rely on a bug in the unifier! BoundedList.idrUpdated bounded lists Mod2.idrComment out most of Data.Bits and Data.Mod2 Since they rely on a bug in the unifier! 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