diff options
| author | JF Bastien <github@jfbastien.com> | 2016-01-05 10:36:15 -0800 |
|---|---|---|
| committer | JF Bastien <github@jfbastien.com> | 2016-01-05 10:36:15 -0800 |
| commit | 0baed571259012a5ea42c73bcecc0cea4ed29f7d (patch) | |
| tree | 5c5a0c0995609256ee00db99380e8543f4d533f4 /AstSemantics.md | |
| parent | f58590750a70a64c0ec68b9b5ba1a418bf99eda0 (diff) | |
| download | nanowasm-design-0baed571259012a5ea42c73bcecc0cea4ed29f7d.tar.gz | |
Capitalize titles
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index f068bdf..5ef7af2 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -5,9 +5,9 @@ represents an expression. Each function body consists of exactly one expression. All expressions and operators are typed, with no implicit conversions or overloading rules. This document explains the high-level design of the AST: its types, constructs, and -semantics. For full details consult [the formal spec](https://github.com/WebAssembly/spec), -for file-level encoding details consult [binary encoding](BinaryEncoding.md), -and for the human-readable text representation consult [text format](TextFormat.md). +semantics. For full details consult [the formal Specification](https://github.com/WebAssembly/spec), +for file-level encoding details consult [Binary Encoding](BinaryEncoding.md), +and for the human-readable text representation consult [Text Format](TextFormat.md). Verification of WebAssembly code requires only a single pass with constant-time type checking and well-formedness checking. |