From 0e6e221f10f1050ac1254bfd2581f05cca08ea26 Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Mon, 21 Oct 2024 14:36:07 +0800 Subject: [PATCH] rename project back to inet-cute --- README.md | 20 ++++++++++---------- bin/{inet.js => inet-cute.js} | 0 package-lock.json | 6 +++--- package.json | 10 +++++----- 4 files changed, 18 insertions(+), 18 deletions(-) rename bin/{inet.js => inet-cute.js} (100%) diff --git a/README.md b/README.md index 7d1bb0b..fe2b091 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# iNet +# iNet Cute [ [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 +npm install --global @cicada-lang/inet-cute ``` -The command-line program is called `inet`. +The command-line program is called `inet-cute`. ```sh -inet repl # Open an interactive REPL -inet run [path] # Run an inet program -inet help [name] # Display help for a command +inet-cute repl # Open an interactive REPL +inet-cute run [path] # Run an inet program +inet-cute 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.fidb.app/tests/datatype/Nat.i" +import zero from "https://code-of-inet-cute.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.fidb.app/tests/datatype/List.i" +import List from "https://code-of-inet-cute.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.fidb.app/tests/datatype/Nat.i" -import cons from "https://code-of-inet.fidb.app/tests/datatype/List.i" +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" (diff) @spread $front $back $value back zero cons zero cons front @connect value diff --git a/bin/inet.js b/bin/inet-cute.js similarity index 100% rename from bin/inet.js rename to bin/inet-cute.js diff --git a/package-lock.json b/package-lock.json index 7e041b8..aa767d3 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,11 +1,11 @@ { - "name": "@cicada-lang/inet", + "name": "@cicada-lang/inet-cute", "version": "0.2.1", "lockfileVersion": 3, "requires": true, "packages": { "": { - "name": "@cicada-lang/inet", + "name": "@cicada-lang/inet-cute", "version": "0.2.1", "license": "GPL-3.0-or-later", "dependencies": { @@ -17,7 +17,7 @@ "vitest": "^2.1.3" }, "bin": { - "inet": "bin/inet.js" + "inet-cute": "bin/inet-cute.js" }, "devDependencies": { "@types/node": "^22.7.7", diff --git a/package.json b/package.json index 1bedeff..2e76816 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { - "name": "@cicada-lang/inet", + "name": "@cicada-lang/inet-cute", "version": "0.2.1", - "repository": "github:cicada-lang/inet", + "repository": "github:cicada-lang/inet-cute", "license": "GPL-3.0-or-later", "type": "module", "main": "./lib/index.js", @@ -10,14 +10,14 @@ "src" ], "bin": { - "inet": "bin/inet.js" + "inet-cute": "bin/inet-cute.js" }, "scripts": { "build": "tsc", "build:watch": "tsc --watch", "test:ts": "vitest --dir src --run", - "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: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": "npm run test:ts && npm run test:inet && npm run test:inet-error", "format": "prettier src docs --write" },