diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-20 16:59:38 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-20 16:59:38 +0900 |
| commit | d88a0ddb7a8daf92c9f34278a3d470007ce57925 (patch) | |
| tree | ef36086d4d8a3667ce41dc8a41f09a705c5ba032 | |
| parent | 9d707e153ef3e29806ecb68d6c38680e1c6b7e61 (diff) | |
| download | inpla-d88a0ddb7a8daf92c9f34278a3d470007ce57925.tar.gz inpla-d88a0ddb7a8daf92c9f34278a3d470007ce57925.zip | |
Update README.md
| -rw-r--r-- | README.md | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -639,17 +639,15 @@ fib(result) >< (int n) ## Commands - Inpla has the following commands: - - `free` *name_1* ... *name_n* `;` - Terms connected from the *name_1* ... *name_n* and itself are disposed. - - *name_1* ... *name_n* `;` - Put terms connected from the *name_1* ... *name_n*. - - `prnat`*name*`;` + - `free` *name1* ... *name_n* `;` + The *name1* ... *name_n* and connected terms from these are disposed. To dispose every living name and term connected from those, type `free ifce;`, where the `ifce` is an abbreviation of *interface* that is called for the set of living names. + - *name1* ... *name_n* `;` + Put terms connected from the *name1* ... *name_n*. To put every term connected from the interface, type `ifce;`. + - `prnat` *name*`;` Put a term connected from the *name* as a natural number. - `use` `"`filename`";` Read the file named as "filename". - - `ifce;` - Put all live names and connections from these name. The living name list is called *interface*, and the `ifce` is an abbreviation of Interface. - - `exit;` + - `exit;` Quit the system. - Inpla has the following macro: |