* Factor out lsp-related code to separate npm package
* Flatten web-editor package
* Rename browser crate folder to lsp-wasm
* package target should not use --no-verify
* Deduplicate definitions of workspace dependency paths
* Use consistent versions
* Add versions to dependencies
* Do not publish benchmarks and testsuite
* Remove dependency of driver on docs files
* Add makefile targets
* Add CI action
* Add descriptions to manifest files
* Ignore lsp-browser
* Change capitalization of Polarity
* Initial benchmark
* Add second example
* Rust fmt
* Use inmemory source for end-to-end benchmarking
---------
Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
* Start working on a better CONTRIBUTING.md
* More info in CONTRIBUTING.md
* Add linters and formatters section
* Finish text about test suites
* Provide more info about web demo
* Add links to documentation on website
* Add reference to nix documentation
---------
Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
* Add toplevel let to parser
* Add toplevel let to syntax
* Implement prettyprinting for toplevel lets
* Add implementation stubs
* Add failing example
* Lower and typecheck top-level let bindings
* Replace existing installation when running make install
* Add two success test cases for top-level lets
* Don't colorize top-level lets
---------
Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
