git.iko.soy/Idris-dev
on ca564fd help sign in
Idris-dev/libs/base/Data
1 folder, 16 files
../ Vect/Fix parameter propagation Bits.idrRemove needless Prelude imports BoundedList.idrRemove some of the more easily avoided %assert_totals Buffer.idrMore docstrings Complex.idrRemove needless Prelude imports Floats.idrRemove needless Prelude imports Fun.idrMerge branch 'master' into FunctionChains HVect.idrMore docstrings 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.idrTail recursive verison of treeToList (avoiding ++) SortedSet.idrRemove needless Prelude imports Vect.idrMore docstrings ZZ.idrAdd documentation in new format for various libs