summaryrefslogtreecommitdiff
path: root/docs/opt-coercion
Commit message (Expand)AuthorAgeFilesLines
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-1/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-122-4/+4
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Fix more typosBrian Wignall2019-12-021-1/+1
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Fix typosBrian Wignall2019-11-231-7/+7
* Add the paper "Evidence normalisation in System FC"Simon Peyton Jones2018-07-317-0/+9992