diff --git a/README.md b/README.md index fe2b0917..7d1bb0bb 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# iNet Cute +# iNet [ [Website](https://inet.run) | [iNet JS](https://github.com/cicada-lang/inet-js) ] @@ -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 @@ -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 @@ -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. @@ -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 diff --git a/bin/inet-cute.js b/bin/inet.js similarity index 100% rename from bin/inet-cute.js rename to bin/inet.js diff --git a/package-lock.json b/package-lock.json index ffd74845..b91888f2 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,11 +1,11 @@ { - "name": "@cicada-lang/inet-cute", + "name": "@cicada-lang/inet", "version": "0.1.39", "lockfileVersion": 3, "requires": true, "packages": { "": { - "name": "@cicada-lang/inet-cute", + "name": "@cicada-lang/inet", "version": "0.1.39", "license": "GPL-3.0-or-later", "dependencies": { @@ -17,7 +17,7 @@ "vitest": "^0.34.6" }, "bin": { - "inet-cute": "bin/inet-cute.js" + "inet": "bin/inet.js" }, "devDependencies": { "@types/node": "^20.8.10", diff --git a/package.json b/package.json index 5d75fc50..4bef9c38 100644 --- a/package.json +++ b/package.json @@ -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" },