diff --git a/data/tutorials/getting-started/1_00_install_Rocq.md b/data/tutorials/getting-started/1_00_install_Rocq.md index 9cd6a701..cad1099a 100644 --- a/data/tutorials/getting-started/1_00_install_Rocq.md +++ b/data/tutorials/getting-started/1_00_install_Rocq.md @@ -108,7 +108,7 @@ or from PowerShell: (& opam env) -split '\r?\n' | ForEach-Object { Invoke-Expression $_ } ``` -Opam initialisation may take several minutes. While waiting for its installation and configuration to complete, start reading [A Tour of OCaml](tour-of-ocaml). +Opam initialisation may take several minutes. While waiting for its installation and configuration to complete, start reading [A Tour of Rocq](tour-of-rocq). **Note**: opam can manage something called _switches_. This is key when switching between several OCaml projects. However, in this “getting started” series of tutorials, switches are not needed. If interested, you can read an introduction to [opam switches here](/docs/opam-switch-introduction).