git.iko.soy/Idris-dev
on 44fb18f 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.idrChange export qualifier keywords Erased.idrChange export qualifier keywords Fin.idrAdd 'restrict' in Fin HVect.idrChange export qualifier keywords List.idrBinder name changes in Elem/There Mod2.idrDeprecate '%assert_total' Morphisms.idrChange export qualifier keywords So.idrChange export qualifier keywords SortedSet.idrAdd Foldable for SortedSet String.idrDeprecate '%assert_total' Vect.idrTotality checking now looks inside case directly