Update interpreter README (#1571)

It previously stated that the formal spec did not exist, but the spec has existed for years now.
WebAssembly · Jan 18, 2023 · 4c249c5 · 4c249c5
1 parent ca1d792
commit 4c249c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interpreter/README.md b/interpreter/README.md
@@ -1,6 +1,6 @@
 # WebAssembly Reference Interpreter
 
-This repository implements a interpreter for WebAssembly. It is written for clarity and simplicity, _not_ speed. It is intended as a playground for trying out ideas and a device for nailing down the exact semantics, and as a proxy for the (yet to be produced) formal specification of WebAssembly. For that purpose, the code is written in a fairly declarative, "speccy" way.
+This repository implements an interpreter for WebAssembly. It is written for clarity and simplicity, _not_ speed. It is intended as a playground for trying out ideas and a device for nailing down their exact semantics. For that purpose, the code is written in a fairly declarative, "speccy" way.
 
 The interpreter can