diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2019-12-19 09:11:42 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-04 15:55:06 -0500 |
| commit | 3c9dc06ba2034e867c9169e60e854539875654fd (patch) | |
| tree | f06e599ca380ee9ad599918b2ae4c78cd4afce2b /docs/core-spec | |
| parent | b2e0323f318959c879629ef277f6433b44473c4b (diff) | |
| download | haskell-3c9dc06ba2034e867c9169e60e854539875654fd.tar.gz | |
Fix typos, via a Levenshtein-style corrector
Diffstat (limited to 'docs/core-spec')
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 3afec2bbb7..167ca85644 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -240,7 +240,7 @@ for more background. \gram{\ottR} -The \texttt{GRefl} constructor taks an $[[mg]]$. It wraps a kind coercion, which +The \texttt{GRefl} constructor takes an $[[mg]]$. It wraps a kind coercion, which might be reflexive or any coercion: \gram{\ottmg} |