diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-14 12:58:38 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-14 12:58:38 +0900 |
| commit | 08a924370690ead6ba5d7d8a1392fbe616ad83f3 (patch) | |
| tree | 39297cde05c79bc6baa33b534641bc44bed4697c /README.md | |
| parent | a53777f0c25d22cee79e7097933835e382021acc (diff) | |
| download | inpla-08a924370690ead6ba5d7d8a1392fbe616ad83f3.tar.gz inpla-08a924370690ead6ba5d7d8a1392fbe616ad83f3.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |