../ List/Some naming in views11 years ago Nat/Added Data.String.Views11 years ago Primitives/Add views for recursion over Int/Integer10 years ago String/Added Data.String.Views11 years ago Vect/Add Data.Vect.Views11 years ago Bits.idrMake export modifiers consistent.11 years ago Complex.idrChange export qualifier keywords11 years ago Erased.idrChange export qualifier keywords11 years ago Fin.idrAdd 'restrict' in Fin10 years ago HVect.idrChange export qualifier keywords11 years ago List.idrBinder name changes in Elem/There11 years ago Mod2.idrNew rules for name visibility11 years ago Morphisms.idrChange export qualifier keywords11 years ago So.idrChange export qualifier keywords11 years ago SortedSet.idrAdd Foldable for SortedSet13 years ago String.idrFix string to positive number conversion (#3129)11 years ago Vect.idrTotality checking now looks inside case directly10 years ago