git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/base/Data/HVect.idr
all commits
43127b1Move Fin, Vect and So from prelude to baseEdwin Brady fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi 6f6a167No need for 'using' in HVectEdwin Brady 505905dRemove some needless 'using' blocksEdwin Brady 4b9f4b9Correct a docMelvar Chen 631eaaaReplace use of findElem with search tacticMelvar Chen 53417ddFix Show for HVectsMelvar Chen 757adceMinor docstring additionsDavid Raymond Christiansen fb6a0edCoverage checker fixEdwin Brady 10ef56bMore docstringsDavid Raymond Christiansen 40924dcMoved libraries around, removed 'effects' flagEdwin Brady