Minor tweaks to wording

SMLFamily / Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

191 stars 10 forks source link

Minor tweaks to wording #34

Closed atsampson closed 7 years ago

atsampson commented 7 years ago

This isn't intended to change the meaning of anything. I'm pretty confident that "be a" is the right missing verb for the valbind description - but please check!