From d88a0ddb7a8daf92c9f34278a3d470007ce57925 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 20 Oct 2021 16:59:38 +0900 Subject: Update README.md --- README.md | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index 734e73a..74602d4 100644 --- a/README.md +++ b/README.md @@ -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: -- cgit v1.2.3