../ Vect/Define Any/All quantifiers for Vect14 years ago Bits.idrMerge branch 'unified-int-primitives-fix' of https://github.com/bitlisp/Idris-dev into bitlisp-unified-int-primitives-fix13 years ago BoundedList.idrUpdated bounded lists14 years ago Mod2.idrComment out most of Data.Bits and Data.Mod2 Since they rely on a bug in the unifier!13 years ago Morphisms.idrrenamed homomorphism to morphism14 years ago Sign.idrAdd inductive integers14 years ago SortedMap.idrRenamed Map and Set to SortedMap and SortedSet14 years ago SortedSet.idrRenamed Map and Set to SortedMap and SortedSet14 years ago Z.idrAdd inductive integers14 years ago