From ecdb474f7e11a72dcd13a18a79d096b0d591d289 Mon Sep 17 00:00:00 2001
From: garrettmills <shout@garrettmills.dev>
Date: Sat, 9 Apr 2022 09:23:09 -0500
Subject: [PATCH] Setup basic routing

---
 src/App.vue   |  6 ++++--
 src/main.ts   |  4 ++++
 src/router.ts | 17 +++++++++++++++++
 src/types.ts  |  1 +
 4 files changed, 26 insertions(+), 2 deletions(-)
 create mode 100644 src/router.ts

diff --git a/src/App.vue b/src/App.vue
index 1d50e61..cd6a6f1 100644
--- a/src/App.vue
+++ b/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>
diff --git a/src/main.ts b/src/main.ts
index 55d3e96..5dc89ae 100644
--- a/src/main.ts
+++ b/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')
diff --git a/src/router.ts b/src/router.ts
new file mode 100644
index 0000000..02e5545
--- /dev/null
+++ b/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
diff --git a/src/types.ts b/src/types.ts
index dd71aac..02db4fd 100644
--- a/src/types.ts
+++ b/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>