git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/base/Data/VectType.idr
all commits
9d45713Instance docs: add some instance docs to libsAdam Sandberg Eriksson 44bdf1dChanged (<$>) to (<*>)Tenor Biel 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady