From 4978fa74bb7f3eb5dc49cd724f8d1183c0c68c9b Mon Sep 17 00:00:00 2001 From: Adam Lancaster Date: Fri, 30 Sep 2022 20:39:34 +0100 Subject: [PATCH] Update README.md Small suggestion to remove redundant wording. --- interpreter/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/interpreter/README.md b/interpreter/README.md index 11258ae62e..418b845011 100644 --- a/interpreter/README.md +++ b/interpreter/README.md @@ -10,7 +10,7 @@ The interpreter can * *export* test scripts to self-contained JavaScript test cases * *run* as an interactive interpreter -The text format defines modules in S-expression syntax. Moreover, it is generalised to a (very dumb) form of *script* that can define multiples module and a batch of invocations, assertions, and conversions between them. As such it is richer than the binary format, with the additional functionality purely intended as testing infrastructure. (See [below](#scripts) for details.) +The text format defines modules in S-expression syntax. Moreover, it is generalised to a form of *script* that can define multiples module and a batch of invocations, assertions, and conversions between them. As such it is richer than the binary format, with the additional functionality purely intended as testing infrastructure. (See [below](#scripts) for details.) ## Building @@ -373,7 +373,7 @@ In particular, comments of the latter form nest properly. ## Scripts -In order to be able to check and run modules for testing purposes, the S-expression format is interpreted as a very simple and dumb notion of "script", with commands as follows: +In order to be able to check and run modules for testing purposes, the S-expression format is interpreted as a very simple notion of "script", with commands as follows: ``` script: *