config: title

aya-prover · Mar 13, 2024 · 9164d7f · 9164d7f
1 parent e03ebd8
commit 9164d7f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/.vitepress/config.mts b/src/.vitepress/config.mts
@@ -42,6 +42,7 @@ export default defineConfig({
       {
         text: 'Blog',
         items: [
+          { text: 'Farewell, Univalence', link: '/blog/bye-hott' },
           { text: 'Inductive Props', link: '/blog/ind-prop' },
           { text: 'Def. projection in classes', link: '/blog/class-defeq' },
           { text: 'Path constructor elaboration', link: '/blog/pathcon-elab' },