Skip to content

Addressing typos and elaboration requests in the spec.#409

Merged
viktorklang merged 1 commit intomasterfrom
wip-407-√
Nov 16, 2017

Hidden character warning

The head ref may contain hidden characters: "wip-407-\u221a"

Commits

Commits on Nov 8, 2017