diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-15 11:50:40 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-15 11:50:40 +0900 |
| commit | 2a03c3ae277778ac960a140bb599c5678aa1a476 (patch) | |
| tree | 953ed52f8d20df8d742cf1d2ea7a4d66f4ce86c7 /README.md | |
| parent | 3812fa60310c0f1bd1012228d8fd023bf1ac456b (diff) | |
| download | inpla-2a03c3ae277778ac960a140bb599c5678aa1a476.tar.gz inpla-2a03c3ae277778ac960a140bb599c5678aa1a476.zip | |
v0.5.3
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -314,14 +314,15 @@ $ make thread - When invoking Inpla, you can specify the following options: ``` $ ./inpla -h +Inpla version 0.5.3 Usage: inpla [options] Options: - -f <filename> Set input file name (Defalut is STDIN) - -c <number> Set the size of term cells (Defalut is 100000) - -x <number> Set the size of the AP stack (Default is 10000) - -t <number> Set the number of threads (Default is 1) - -w Enable Weak reduction strategy (Default: false) + -f <filename> Set input file name (Defalut: STDIN) + -c <number> Set the size of term cells (Defalut: 100000) + -x <number> Set the size of the EQ stack (Default: 10000) + -t <number> Set the number of threads (Default: 1) + -d <Name>=<val> Bind <val> to <Name> -h Print this help message ``` (The option ```-t``` is available for the multi-thread version that is compiled by ```make thread```.) @@ -832,7 +833,7 @@ fib(result) >< (int n) - Inpla has the following macro: - `const` *NAME*`=` *i* `;` - The *NAME* is replaced with the integer value *i* in nets and interaction rules. + The *NAME* is bound to the integer value *i* as immutable, and replaced with the value *i* in nets and interaction rules. |