Add link to Elm playground on main navigation bar

pine-vm · Apr 27, 2024 · 8c4f07e · 8c4f07e
1 parent 40244e4
commit 8c4f07e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/implement/website/pinevm/src/Frontend/Main.elm b/implement/website/pinevm/src/Frontend/Main.elm
@@ -62,6 +62,7 @@ topNavigationElements : List NavigationLink
 topNavigationElements =
     [ PageNavigationLink HomePage
     , ExternalNavigationLink { label = "Learn", url = "https://github.com/pine-vm/pine/tree/main/guide" }
+    , ExternalNavigationLink { label = "Playground", url = "https://elm-editor.com" }
     , PageNavigationLink DownloadPage
     , PageNavigationLink NewsPage
     ]