TuringLang/docs

Dead links in Developer Tutorials

Closed this issue 5 months ago · 1 comments

ajinkya-k commented 5 months ago

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 commented 5 months ago

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