git.iko.soy/Idris-dev
on fbb201c help sign in
history oflibs/base/Data/VectType.idr
all commits
7a5392dDisplay tweakEdwin Brady b6c9ef8Small documentation updatesEdwin Brady 80a2ceeA few prelude functions/castsEdwin Brady 58d59e8Correct parameter names in documentationBenjamin Hodgson d413315changed findIndex to return FinsJakob Brünker 9d45713Instance docs: add some instance docs to libsAdam Sandberg Eriksson 44bdf1dChanged (<$>) to (<*>)Tenor Biel 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady