git.iko.soy/Idris-dev
on master help sign in
history ofsrc/Idris/ErrReverse.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice e25c2edMake stylish-haskell happyRyan Scott bc553c7%error_reduce for more control over errorsEdwin Brady a5033e7Add linear LamEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes d8de21fAdd export listsNiklas Larsson f987aecAdd info field to AppEdwin Brady 1f897b1Fix for matchProblemsEdwin Brady c15d4cbConversion checking tweakEdwin Brady b651aafProof search fixEdwin Brady c959fb0Unification changesEdwin Brady fe3f03fAdded %error_reverse annotationEdwin Brady