git.iko.soy/Idris-dev
on d8fd36a help sign in
Idris-dev/libs/base/Data
5 folders, 12 files
../ List/Some naming in views Nat/Added Data.String.Views Primitives/Deprecate '%assert_total' String/Added Data.String.Views Vect/Add Data.Vect.Views Bits.idrDeprecate '%assert_total' Complex.idrUse interface instead class or type class in documentations (#3379) Erased.idrChange export qualifier keywords Fin.idrAdd 'restrict' in Fin HVect.idrMake arguments implicit in HVect.Shows List.idrPurify Idris of "return" Mod2.idrDeprecate '%assert_total' Morphisms.idrChange export qualifier keywords So.idrChange export qualifier keywords SortedSet.idrChange Instance to implementation (#3404) String.idrPurify Idris of "return" Vect.idrMake Vect follow the naming convention of List