../ Vect/Fix parameter propagation13 years ago Bits.idrUncomment truncate.13 years ago BoundedList.idrMinor docstring additions13 years ago Buffer.idrMore docstrings13 years ago Complex.idrRemove needless Prelude imports13 years ago Erased.idrAdd Data.Erased to libs/base.13 years ago Floats.idrRemove needless Prelude imports13 years ago Fun.idrMerge branch 'master' into FunctionChains13 years ago HVect.idrMinor docstring additions13 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.idrMore docstrings13 years ago SortedMap.idrRemove Ord constraints from SortedMap toList13 years ago SortedSet.idrAdd Foldable for SortedSet13 years ago Vect.idrMore docstrings13 years ago ZZ.idrAdd documentation in new format for various libs13 years ago