../ List/Some naming in views11 years ago Nat/Added Data.String.Views11 years ago Primitives/Deprecate '%assert_total'10 years ago String/Added Data.String.Views11 years ago Vect/Add Data.Vect.Views11 years ago Bits.idrDeprecate '%assert_total'10 years ago Complex.idrUse interface instead class or type class in documentations (#3379)10 years ago Erased.idrChange export qualifier keywords11 years ago Fin.idrAdd 'restrict' in Fin10 years ago HVect.idrChange export qualifier keywords11 years ago List.idrPurify Idris of "return"10 years ago Mod2.idrDeprecate '%assert_total'10 years ago Morphisms.idrChange export qualifier keywords11 years ago So.idrChange export qualifier keywords11 years ago SortedSet.idrChange Instance to implementation (#3404)10 years ago String.idrPurify Idris of "return"10 years ago Vect.idrTotality checking now looks inside case directly10 years ago