reviewing Unison's LanguageReference.md master@81b65b, i.e. this
Overall:
- This doc is awesome: nicely written, thorough, not trying to be too formal, nice use of examples.
- It needs a table of contents to give the reader an overview.
In ‘type signature’:
- say that
Nat
means natural number, and that that means whole numbers starting at zero - ‘meets’->’matches’?