git.iko.soy/Idris-dev
on 54e4e41 help sign in
history oflibs/base/Data/VectType.idr
all commits
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