git.iko.soy/Idris-dev
on 4dddfaf 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.idrrename fO into fZ 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