git.iko.soy/Idris-dev
on 372d2ea help sign in
Idris-dev/libs/base/Data
2 folders, 12 files
../ List/Change export qualifier keywords Vect/Change export qualifier keywords Bits.idrNew rules for name visibility Complex.idrChange export qualifier keywords Erased.idrChange export qualifier keywords Fin.idrNew rules for name visibility HVect.idrChange export qualifier keywords List.idrBinder name changes in Elem/There Mod2.idrNew rules for name visibility Morphisms.idrChange export qualifier keywords So.idrChange export qualifier keywords SortedSet.idrAdd Foldable for SortedSet String.idrChange export qualifier keywords Vect.idrDetail in docstring for zipWith on Vect and Stream