Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-07-05 | Better errors for redirects | Jasper Van der Jeugt | 1 | -4/+11 | |
2017-07-05 | Redirect: add checks for non-overlapping definitions | gwern | 1 | -1/+7 | |
2017-07-04 | Fix early exit when calling check as a library | Jasper Van der Jeugt | 1 | -1/+1 | |
See #496 | |||||
2017-06-19 | Move src/ to lib/, put Init.hs in src/ | Jasper Van der Jeugt | 48 | -0/+6924 | |