Fix link to Apalache Language Reference Manual (#87)

hwayne · Nov 12, 2024 · 8140ebc · 8140ebc
1 parent e42c6ad
commit 8140ebc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/reference/other-resources.rst b/docs/reference/other-resources.rst
@@ -21,7 +21,7 @@ Learning Resources
 Reference Material
 -------------------
 
-`TLA+ Language Reference Manual <https://apalache.informal.systems/docs/lang/index.html>`__
+`TLA+ Language Reference Manual <https://apalache-mc.org/docs/lang/index.html>`__
   A formal reference by the developers of `Apalache <apalache>`. Work in progress.
 
 `TLA+ Version 2 <https://lamport.azurewebsites.net/tla/tla2-guide.pdf>`__