Closed jiribenes closed 1 month ago
Once https://github.com/effekt-lang/effekt/pull/599 gets merged, Since https://github.com/effekt-lang/effekt/pull/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: https://github.com/effekt-lang/effekt-website/blob/5bd1e7ed8b23d0ff5ef47a1c91b7afad9abbdbfa/_includes/install.md?plain=1#L5 https://github.com/effekt-lang/effekt-website/blob/5bd1e7ed8b23d0ff5ef47a1c91b7afad9abbdbfa/contributing.md?plain=1#L32
Once https://github.com/effekt-lang/effekt/pull/599 gets merged,Since https://github.com/effekt-lang/effekt/pull/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: https://github.com/effekt-lang/effekt-website/blob/5bd1e7ed8b23d0ff5ef47a1c91b7afad9abbdbfa/_includes/install.md?plain=1#L5 https://github.com/effekt-lang/effekt-website/blob/5bd1e7ed8b23d0ff5ef47a1c91b7afad9abbdbfa/contributing.md?plain=1#L32