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

Dead links in Developer Tutorials #554

Closed

ajinkya-k opened this issue Nov 18, 2024 · 1 comment · Fixed by #555

ajinkya-k commented Nov 18, 2024 •

edited

Loading

Hello!

There are a few dead links in the section Developers > DynamicPPL in Depth > Mini Turing Implementation II: Contexts.

Specifically, the link to the Mini Turing section points to what looks like an old link: https://turinglang.org/docs/tutorials/16-contexts/tutorial/14-minituring
I think it should point to https://turinglang.org/docs/tutorials/14-minituring/

penelopeysm mentioned this issue

Merged

penelopeysm closed this as completed in #555

Member

penelopeysm commented Nov 19, 2024

Thanks for reporting @ajinkya-k! This will be fixed in a few minutes once #555 is deployed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment