fix(13): typos, denoted

leanprover / tutorial

Lean Tutorials

https://leanprover.github.io/tutorial

Apache License 2.0

43 stars 46 forks source link

Closed spl closed 8 years ago

spl commented 8 years ago

Colon changed to semicolon. Used "written" to indicate that it is notation.

soonhokong commented 8 years ago

merged by 6187d60