docs: links to playground

oxlip-lang · Nov 8, 2023 · 8da9f4d · 8da9f4d
1 parent b2679aa
commit 8da9f4d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/_config.yml b/_config.yml
@@ -11,12 +11,16 @@ theme: just-the-docs
 color_scheme: oxlip
 
 aux_links:
+  "OAL playground":
+    - "https://oxlip-lang.github.io/oxlip-playground"
   "OAL on GitHub":
-    - "//github.com/oxlip-lang/oal"
+    - "https://github.com/oxlip-lang/oal"
 
 aux_links_new_tab: true
 
 nav_external_links:
+  - title: Playground
+    url: https://oxlip-lang.github.io/oxlip-playground
   - title: OAL on GitHub
     url: https://github.com/oxlip-lang/oal
 

diff --git a/src/doc/examples.md b/src/doc/examples.md
@@ -97,4 +97,4 @@ res relPayment;
 
 ---
 
-[Next > OAL on Github](https://github.com/oxlip-lang/oal)
+[Next > Playground](https://oxlip-lang.github.io/oxlip-playground)