git.iko.soy/Idris-dev
on fbeeb45 help sign in
Idris-dev/lib/Data
1 folder, 10 files
../ Vect/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc Bits.idrMake coverage checker look inside pairs/dependent pairs Fixes #446 BoundedList.idrrename fO into fZ HVect.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc Mod2.idrMore Integer fixups Morphisms.idrrename fmap to map Sign.idrAdd inductive integers SortedMap.idrrename O into Z SortedSet.idrRenamed Map and Set to SortedMap and SortedSet Vect.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc ZZ.idrrename O into Z