Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix duplicated words and typos in comments and user guide | Jan HrĨek | 2020-06-28 | 1 | -1/+1 |
* | Fix more typos, via an improved Levenshtein-style corrector | Brian Wignall | 2020-01-12 | 2 | -4/+4 |
* | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
* | Fix more typos | Brian Wignall | 2019-12-02 | 1 | -1/+1 |
* | Fix typos, using Wikipedia list of common typos | Brian Wignall | 2019-11-28 | 1 | -1/+1 |
* | Fix typos | Brian Wignall | 2019-11-23 | 1 | -7/+7 |
* | Add the paper "Evidence normalisation in System FC" | Simon Peyton Jones | 2018-07-31 | 7 | -0/+9992 |