Skip to content

Conversation

andy0130tw
Copy link
Contributor

@andy0130tw andy0130tw commented Jun 12, 2025

This PR bundles all submodules and a CI workflow to build als as a wasm module, and the resulting module is able to communicate to a LSP client over stdin/stdout (server mode is not supported) via a capable WASM runtime like wasmtime or NodeJS.

The version number is deliberately clobbered to distinguish with normal releases. (undone)

@andy0130tw andy0130tw marked this pull request as draft June 12, 2025 11:09
@andy0130tw andy0130tw force-pushed the wasm branch 3 times, most recently from c51b6b6 to 0837a1c Compare June 26, 2025 18:48
@andy0130tw andy0130tw force-pushed the wasm branch 3 times, most recently from 18a10a0 to f7000e9 Compare June 28, 2025 07:02
@andy0130tw andy0130tw marked this pull request as ready for review July 10, 2025 16:14
@andy0130tw
Copy link
Contributor Author

I believe that this PR is really ready for merging.

@banacorn banacorn merged commit 0c418fa into agda:master Jul 23, 2025
@banacorn
Copy link
Member

Thank you so much <3

banacorn added a commit that referenced this pull request Jul 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants