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