From 0baed571259012a5ea42c73bcecc0cea4ed29f7d Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Tue, 5 Jan 2016 10:36:15 -0800 Subject: Capitalize titles --- AstSemantics.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'AstSemantics.md') 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. -- cgit v1.2.3