summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Matthew Dempsky <matthew@dempsky.org>2020-02-04 16:46:20 -0800
committerGravatar Matthew Dempsky <matthew@dempsky.org>2020-02-04 16:53:52 -0800
commit50dc9b9fe270e3d92955d71a1c027b076d719aca (patch)
tree467fec5096f1eefd931213bd936fb0f0f1c4230f /include
parent77d355444228fcde64572b86920e87df139fa4ed (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