../ Vect/Fix parameter propagation13 years ago Bits.idrRemove needless Prelude imports13 years ago BoundedList.idrRemove some of the more easily avoided %assert_totals13 years ago Buffer.idrMove buffer offset handling into idris code13 years ago Complex.idrRemove needless Prelude imports13 years ago Floats.idrRemove needless Prelude imports13 years ago Fun.idrMerge branch 'master' into FunctionChains13 years ago HVect.idrMoved libraries around, removed 'effects' flag13 years ago Heap.idrReplace some Heap proofs with impossible.13 years ago Mod2.idrMoved libraries around, removed 'effects' flag13 years ago Morphisms.idrRemove needless Prelude imports13 years ago Rel.idrRe-rename FunN all the way back to Fun.13 years ago Sign.idrMoved libraries around, removed 'effects' flag13 years ago SortedMap.idrTail recursive verison of treeToList (avoiding ++)13 years ago SortedSet.idrRemove needless Prelude imports13 years ago Vect.idrMoved libraries around, removed 'effects' flag13 years ago ZZ.idrAdd documentation in new format for various libs13 years ago