Setup basic routing

src/App.vue

@@ -10,8 +10,10 @@ import { MathPage } from './support/page'
 </script>
 
 <template>
-  <img alt="Vue logo" src="./assets/logo.png" />
-  <Home msg="CrystalMathy" />
+  <div id="nav">
+    <router-link to="/">Home</router-link>
+  </div>
+  <router-view/>
 </template>
 
 <style>

src/main.ts

@@ -2,6 +2,8 @@ import { createApp } from 'vue'
 import App from './App.vue'
 import { DraggablePlugin } from '@braks/revue-draggable'
 import { createAuth0 } from '@auth0/auth0-vue'
+import router from './router'
+
 
 
 const app = createApp(App)
@@ -14,5 +16,7 @@ app.use(
     }),
 )
 
+app.use(router)
+
 app.use(DraggablePlugin)
 app.mount('#app')

src/router.ts

@@ -0,0 +1,17 @@
+import { createRouter, createWebHistory } from 'vue-router'
+import Home from './components/Home.vue'
+
+const routes = [
+    {
+        path: '/',
+        name: 'Home',
+        component: Home,
+    },
+]
+
+const router = createRouter({
+    history: createWebHistory(),
+    routes: routes,
+})
+
+export default router

src/types.ts

@@ -85,6 +85,7 @@ export type LaTeXString = TypeTag<'@app.LaTeXString'> & string
 export type HTMLString = TypeTag<'@app.HTMLString'> & string
 export type StatementID = TypeTag<'@app.StatementID'> & string
 export type VariableName = TypeTag<'@app.VariableName'> & string
+export type RoutePath = TypeTag<'@app.RoutePath'> & string
 
 export interface EvaluationResult {
     variables: Record<VariableName, any>