git.iko.soy/Idris-dev
on d7e4bfa help sign in
Idris-dev/libs/base/Data
1 folder, 16 files
../ Vect/Fix parameter propagation Bits.idrUncomment truncate. BoundedList.idrMinor docstring additions Buffer.idrMore docstrings Complex.idrRemove needless Prelude imports Floats.idrRemove needless Prelude imports Fun.idrMerge branch 'master' into FunctionChains HVect.idrMinor docstring additions 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.idrMore docstrings SortedMap.idrRemove Ord constraints from SortedMap toList SortedSet.idrAdd Foldable for SortedSet Vect.idrMore docstrings ZZ.idrAdd documentation in new format for various libs