Skip to content

Commit

Permalink
change bin name to inet
Browse files Browse the repository at this point in the history
  • Loading branch information
xieyuheng committed Oct 21, 2024
1 parent 694ec51 commit 0abd2f5
Show file tree
Hide file tree
Showing 4 changed files with 18 additions and 18 deletions.
20 changes: 10 additions & 10 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# iNet Cute
# iNet

[ [Website](https://inet.run)
| [iNet JS](https://github.com/cicada-lang/inet-js) ]
Expand All @@ -16,15 +16,15 @@ An implementation of [interaction nets](https://en.wikipedia.org/wiki/Interactio
Install it by the following command:

```sh
npm install --global @cicada-lang/inet-cute
npm install --global @cicada-lang/inet
```

The command-line program is called `inet-cute`.
The command-line program is called `inet`.

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

## Examples
Expand Down Expand Up @@ -116,7 +116,7 @@ rule cons append
result-(append)
end
import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
null zero cons zero cons
null zero cons zero cons
Expand All @@ -130,7 +130,7 @@ append @run $result
### DiffList

```inet
import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
import List from "https://code-of-inet.fidb.app/tests/datatype/List.i"
// Concatenation of lists is performed in linear time
// with respect to its first argument.
Expand Down Expand Up @@ -172,8 +172,8 @@ rule diff diffOpen
(diff)-front oldBack-(diffOpen)
end
import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
import cons from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
import cons from "https://code-of-inet.fidb.app/tests/datatype/List.i"
(diff) @spread $front $back $value
back zero cons zero cons front @connect value
Expand Down
File renamed without changes.
6 changes: 3 additions & 3 deletions package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 5 additions & 5 deletions package.json
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
{
"name": "@cicada-lang/inet-cute",
"name": "@cicada-lang/inet",
"version": "0.1.39",
"repository": "github:cicada-lang/inet-cute",
"repository": "github:cicada-lang/inet",
"main": "./lib/index.js",
"files": [
"lib"
],
"bin": {
"inet-cute": "bin/inet-cute.js"
"inet": "bin/inet.js"
},
"scripts": {
"build": "rm -r lib && tsc",
"build:watch": "rm -r lib && tsc --watch",
"test:ts": "vitest --dir src --threads false --run",
"test:inet": "test-runner snapshot 'node ./bin/inet-cute.js run --no-color' 'tests/**/*.i' --exclude 'tests/**/*.error.i'",
"test:inet-error": "test-runner snapshot-error 'node ./bin/inet-cute.js run --no-color' 'tests/**/*.error.i'",
"test:inet": "test-runner snapshot 'node ./bin/inet.js run --no-color' 'tests/**/*.i' --exclude 'tests/**/*.error.i'",
"test:inet-error": "test-runner snapshot-error 'node ./bin/inet.js run --no-color' 'tests/**/*.error.i'",
"test": "npm run test:ts && npm run test:inet && npm run test:inet-error",
"format": "prettier src docs --write"
},
Expand Down

0 comments on commit 0abd2f5

Please sign in to comment.