From 5ed9a5ffb88cc9602d701f3532ee62f0d8a9e6b9 Mon Sep 17 00:00:00 2001 From: Virgil Date: Thu, 9 Jan 2025 15:39:14 +0200 Subject: [PATCH] Add link to doc --- pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md index 3b2995aa5..19ffb99f3 100644 --- a/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md +++ b/pykwasm/src/pykwasm/kdist/wasm-semantics/binary-parser.md @@ -1,6 +1,7 @@ # Wasm Binary Parser -This file defines a Wasm binary parser. +This file defines a Wasm binary parser based on this +[spec](https://webassembly.github.io/spec/core/binary/index.html). To begin, we define constant macros which drive the parser process. ```k