effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

fixed 'bad' linking to getting-started page which led to a 404 error #79

Open JakubSchwenkbeck opened 2 weeks ago

JakubSchwenkbeck commented 2 weeks ago

This PR resolves #78 by updating the links within the documentation, specifically addressing issues in the navigation between /docs and /docs/getting-started.

Trying several solutions for redirecting didn't work due to the permalinking in place, so this PR only fixes the links and serves as a good first issue(or PR) :)