docs: too hard, remove univalent

aya-prover · Dec 22, 2023 · cece619 · cece619
1 parent aa2dd27
commit cece619
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 11 deletions.
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "aya-prover-docs",
   "version": "1.0.0",
-  "packageManager": "pnpm@8.6.12",
+  "packageManager": "pnpm@8.12.1",
   "description": "The documentation site of the Aya prover.",
   "main": "index.js",
   "scripts": {

diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
diff --git a/src/blog/bye-hott.md b/src/blog/bye-hott.md
@@ -0,0 +1,3 @@
+# Moving away from univalent type theory
+
+
diff --git a/src/index.md b/src/index.md
@@ -7,7 +7,7 @@ titleTemplate: A proof assistant designed for formalizing math and type-directed
 hero:
   name: Aya Prover
   text:
-  tagline: A univalent proof assistant designed for formalizing math and type-directed programming.
+  tagline: A proof assistant designed for formalizing math and type-directed programming.
 
   # actions:
   #   - theme: brand