summaryrefslogtreecommitdiff
path: root/docs/opt-coercion/code.sty
Commit message (Expand)AuthorAgeFilesLines
* Fix typosBrian Wignall2019-11-231-7/+7
* Add the paper "Evidence normalisation in System FC"Simon Peyton Jones2018-07-311-0/+85