Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Document that Effekt requires NodeJS 16.x #63

Closed
jiribenes opened this issue Sep 23, 2024 · 0 comments · Fixed by #65
Closed

Document that Effekt requires NodeJS 16.x #63

jiribenes opened this issue Sep 23, 2024 · 0 comments · Fixed by #65
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers

Comments

@jiribenes
Copy link
Contributor

jiribenes commented Sep 23, 2024 •
edited
Loading

Once effekt-lang/effekt#599 gets merged, Since effekt-lang/effekt#599 got merged, it might be useful to update the documentation.

A cursory search revealed at least two places where we mention NodeJS 12.x, but there might be more, please be thorough:

effekt-website/_includes/install.md

Line 5 in 5bd1e7e

- [Node.js](https://nodejs.org/en/) (>= 12), and

effekt-website/contributing.md

Line 32 in 5bd1e7e

- *JS backend (default)*: Node.js (>= 12) and npm

@jiribenes jiribenes added documentation Improvements or additions to documentation good first issue Good for newcomers blocked on Effekt update Waiting for an update of the Effekt submodule labels Sep 23, 2024
@jiribenes jiribenes mentioned this issue Sep 23, 2024
Merged
@jiribenes jiribenes removed the blocked on Effekt update Waiting for an update of the Effekt submodule label Sep 23, 2024
This was referenced Sep 26, 2024
Merged
Merged
@dvdvgt dvdvgt linked a pull request Sep 26, 2024 that will close this issue
Include language tour #65
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Include language tour effekt-lang/effekt-website
1 participant
@jiribenes