Skip to content

Commit

Permalink
swap Usage
Browse files Browse the repository at this point in the history
  • Loading branch information
xieyuheng committed Sep 8, 2023
1 parent e94180f commit f942b78
Showing 1 changed file with 16 additions and 16 deletions.
32 changes: 16 additions & 16 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,22 @@ Programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_ne

## Usage

### Command line tool

Install it by the following command:

```
npm -g i @cicada-lang/inet
```

The command line program is called `inet`.

```sh
inet repl # Open an interactive REPL
inet run [path] # Run an inet program
inet help [name] # Display help for a command
```

### Online Playground

We have an online playground.
Expand Down Expand Up @@ -174,22 +190,6 @@ zero (cons :tail) zero cons diff @rot @rot @connect
diff_append @run $result
```

### Command line tool

Install it by the following command:

```
npm -g i @cicada-lang/inet
```

The command line program is called `inet`.

```sh
inet repl # Open an interactive REPL
inet run [path] # Run an inet program
inet help [name] # Display help for a command
```

## Development

```sh
Expand Down

0 comments on commit f942b78

Please sign in to comment.