git.iko.soy/Idris-dev
on 7d42ba2 help sign in
history oflibs/base/Data/Fun.idr
all commits
43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 42a9921Updated inline comments to new style function documentation.Jan de Muijnck-Hughes 49de647Merge branch 'master' into FunctionChainsJan Bessai 4950660Chain higher order Fun typesJan Bessai b6dab40shortcut to obtain the target type of a functionJan Bessai 0c9e3a3Re-rename FunN all the way back to Fun.Timo Petteri Sinnemäki