aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativelambda.ml
diff options
context:
space:
mode:
authorSam Pablo Kuper2017-07-31 20:41:08 +0100
committerSam Pablo Kuper2017-07-31 20:41:08 +0100
commita648f4ce7559fea0e4c269c776e654dea316a3b9 (patch)
tree1c83ea13612bc0b96ac97161d5382c775df2a357 /kernel/nativelambda.ml
parent17f37f42792b3150fcebb6236b9896845957b89d (diff)
Replace jarring use of "Remark" with "Note"
or with nothing at all, to improve readability for native English speakers. Editors may wish to remove such constructions altogether in future revisions, per general style guidance such as: - https://en.wikipedia.org/wiki/Wikipedia:%22Note_that%22_is_unnecessary - https://english.stackexchange.com/a/238142/7318 - http://blog.apastyle.org/apastyle/2015/09/principles-of-writing-how-to-avoid-wordiness.html
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions