git.iko.soy/Idris-dev
on 7604451 help sign in
Idris-dev/libs/base/Data
1 folder, 13 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 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 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