git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/libs/base/Data
2 folders, 12 files
../ List/Change "class/instance" keywords Vect/Change "class/instance" keywords Bits.idrPublish functions needed to compute Bits indices. 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