Age | Commit message (Expand) | 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-06-19 | Move src/ to lib/, put Init.hs in src/ | Jasper Van der Jeugt | 17 | -0/+2646 |