diff options
| author |  Matthew Dempsky <matthew@dempsky.org> | 2020-02-04 16:46:20 -0800 |
|---|---|---|
| committer | Matthew Dempsky <matthew@dempsky.org> | 2020-02-04 16:53:52 -0800 |
| commit | 50dc9b9fe270e3d92955d71a1c027b076d719aca (patch) | |
| tree | 467fec5096f1eefd931213bd936fb0f0f1c4230f /include | |
| parent | 77d355444228fcde64572b86920e87df139fa4ed (diff) | |
Fix typos in kinding judgments
Kind-polymorphism is written as "X --> k", not "X -> k".
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions