git.iko.soy/Idris-dev
on 69965ef help sign in
Idris-dev/libs/base/Data
1 folder, 15 files
../ Vect/Don't reset totality for non-total things Bits.idrRemove needless Prelude imports BoundedList.idrRemove some of the more easily avoided %assert_totals Complex.idrRemove needless Prelude imports Floats.idrRemove needless Prelude imports Fun.idrRe-rename FunN all the way back to Fun. HVect.idrMoved libraries around, removed 'effects' flag Heap.idrReplace some Heap proofs with impossible. Mod2.idrMoved libraries around, removed 'effects' flag Morphisms.idrRemove needless Prelude imports Rel.idrRe-rename FunN all the way back to Fun. Sign.idrMoved libraries around, removed 'effects' flag SortedMap.idrRemove needless Prelude imports SortedSet.idrRemove needless Prelude imports Vect.idrMoved libraries around, removed 'effects' flag ZZ.idrMoved libraries around, removed 'effects' flag