eyelang 4.0.0 → 4.0.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -3
- package/package.json +1 -1
- package/test/run-regression.mjs +1 -1
package/README.md
CHANGED
|
@@ -1,14 +1,12 @@
|
|
|
1
1
|
# Eyelang
|
|
2
2
|
|
|
3
|
-
[](https://www.npmjs.com/package/eyelang)
|
|
4
4
|
[](https://doi.org/10.5281/zenodo.20761726)
|
|
5
5
|
|
|
6
6
|
Eyelang is a small reasoning language for turning facts and rules into answers and proofs.
|
|
7
7
|
|
|
8
8
|
Prolog-like syntax. Small core. Inspectable results.
|
|
9
9
|
|
|
10
|
-
The name comes from the way reasoning joins things together: facts with rules, goals with answers, and answers with proofs.
|
|
11
|
-
|
|
12
10
|
## Install and run
|
|
13
11
|
|
|
14
12
|
Eyelang has no runtime npm dependencies and no build step. From a source checkout, run the CLI directly with Node.js 18 or newer:
|
package/package.json
CHANGED
package/test/run-regression.mjs
CHANGED
|
@@ -206,7 +206,7 @@ why(
|
|
|
206
206
|
{
|
|
207
207
|
name: 'npm exec can run package CLI bin from checkout',
|
|
208
208
|
run: () => {
|
|
209
|
-
const result = spawnSync('npm', ['exec', '--yes', '--package=.', '--', 'eyelang', '--version'], {
|
|
209
|
+
const result = spawnSync('npm', ['exec', '--loglevel=silent', '--yes', '--package=.', '--', 'eyelang', '--version'], {
|
|
210
210
|
cwd: packageRoot,
|
|
211
211
|
encoding: 'utf8',
|
|
212
212
|
env: { ...process.env, npm_config_update_notifier: 'false' },
|