sshwy/lamcalc

An implementation and tutorial for Lambda Calculus in Rust

Hi there

This is a developer as well as a retired competitive programmer from China, now studying in PKU.

• Rust / C / JavaScript / Go / Haskell / Agda / Coq
• Manjaro / zsh / vim / VSCode
• Personal Blog: Sshwy's Notes
• Tutorial for λ-Calculus (Chinese): Road to λ-Calculus

lamcalc's Issues

[Docs] Build failed

Ref: #action.

I tried docs:build locally using yarn.lock and that also failed. But docs:dev works fine.

yarn docs:build

(node:11092) ExperimentalWarning: Custom ESM Loaders is an experimental feature and might change at any time
(Use `node --trace-warnings ...` to show where the warning was created)

  vitepress v1.0.0-beta.3

1.0.0-beta.3 0d4fd92
⠴ building client + server bundles...
The language 'lambda-defs' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x2)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x3)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x4)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x5)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x6)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x7)

The language 'lambda-defs' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x2)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x3)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x4)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x5)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x6)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x7)
✓ building client + server bundles...
build error:
TypeError [ERR_INVALID_RETURN_PROPERTY_VALUE]: Expected undefined or a fully resolved URL string to be returned for the "responseURL" from the "node:internal/modules/esm/load 'load'" function but got instance of String.
    at new NodeError (node:internal/errors:399:5)
    at ESMLoader.load (node:internal/modules/esm/loader:636:13)
    at async ESMLoader.moduleProvider (node:internal/modules/esm/loader:457:11)

D:\workspace\repo\lamcalc\web>yarn docs:build
(node:28804) ExperimentalWarning: Custom ESM Loaders is an experimental feature and might change at any time
(Use `node --trace-warnings ...` to show where the warning was created)

  vitepress v1.0.0-beta.3

1.0.0-beta.3 0d4fd92
⠴ building client + server bundles...
The language 'lambda-defs' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x2)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x3)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x4)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x5)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x6)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x7)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x8)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x9)

The language 'lambda-defs' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting.

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x2)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x3)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x4)

The language 'lambda-interactive' is not loaded, falling back to 'txt' for syntax highlighting. (x5)
✓ building client + server bundles...
build error:
TypeError [ERR_INVALID_RETURN_PROPERTY_VALUE]: Expected undefined or a fully resolved URL string to be returned for the "responseURL" from the "node:internal/modules/esm/load 'load'" function but got instance of String.
    at new NodeError (node:internal/errors:399:5)
    at ESMLoader.load (node:internal/modules/esm/loader:636:13)
    at async ESMLoader.moduleProvider (node:internal/modules/esm/loader:457:11)

PS:

• OS: Windows 11
• Node.js: v18.14.0
• yarn: 3.6.4
• corepack: 0.15.3