git.iko.soy/Idris-dev
on 0222012 help sign in
Idris-dev/libs/base/Data
2 folders, 12 files
../ List/Change export qualifier keywords Vect/Change export qualifier keywords Bits.idrMake export modifiers consistent. 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