git.iko.soy/Idris-dev
on 21f0db3 help sign in
Idris-dev/libs/base/Data
2 folders, 12 files
../ List/Change "class/instance" keywords Vect/Change "class/instance" keywords Bits.idrAdd [static] + fix erasure warnings in Data.Bits. Complex.idrChange "class/instance" keywords Erased.idrChange "class/instance" keywords Fin.idrChange "class/instance" keywords HVect.idrChange "class/instance" keywords List.idrChange "class/instance" keywords Mod2.idrChange "class/instance" keywords Morphisms.idrChange "class/instance" keywords So.idrChange "class/instance" keywords SortedSet.idrAdd Foldable for SortedSet String.idrMake Data.String functions available. Vect.idrChange "class/instance" keywords