git.iko.soy/Idris-dev
on aeb032a help sign in
history oflibs/base/Data/Fin.idr
all commits
fc9490eAdd 'restrict' in FinEdwin Brady e3e35a5New rules for name visibilityEdwin Brady 68c019aChange export qualifier keywordsEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady bba27b6Remove +, -, and * on FinDavid Raymond Christiansen f3f828cAdd a couple of doc commentsEdwin Brady b04d0cbMinor, minor readability improvement to Fin.idrDavid Raymond Christiansen c666166Improve Fin error rewriter to remove "fromInteger"David Raymond Christiansen d364982Improve rewriter for Fin.fromIntegerDavid Raymond Christiansen 6449edeAdd missing file(!)Edwin Brady