From 08a924370690ead6ba5d7d8a1392fbe616ad83f3 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 14 Oct 2021 12:58:38 +0900 Subject: Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 35b6ade..2a4125c 100644 --- a/README.md +++ b/README.md @@ -51,7 +51,7 @@ $ make thread ## How to execute ### Interactive mode (single-thread version) -- Inpla starts in the interactive mode by typing the following command: +- Inpla starts in the interactive mode by typing the following command (where the symbol `$` is a shell prompt): ``` $ ./inpla @@ -60,7 +60,7 @@ $ make thread ``` -- The symbol `>>>` is a prompt of this system. After the prompt you can write rules and nets as follows (`//` is a comment): +- The symbol `>>>` is a prompt of Inpla. After the prompt you can write rules and nets. For instance, the following is a rule for incrementation `inc` and a net to bind the increment result of `10` to a name `r` (`//` is a comment): ``` >>> inc(ret) >< (int i) => ret~(i+1); // a rule for inc >< (int i) -- cgit v1.2.3