guide: fix dead link

aya-prover · Jun 2, 2024 · 092bea7 · 092bea7
1 parent 1d3627b
commit 092bea7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/guide/index.md b/src/guide/index.md
@@ -1,9 +1,8 @@
 # The Aya Prover
 
 + [Installation Guide](install)
-+ [Tutorial for Haskellers](haskeller-tutorial) (should also work for Idris users)
-+ [Tutorial for Dependent Type users](anqur-story)
-+ [Tutorial for the "extension type"](ext-types)
++ [Tutorial for functional programmers](haskeller-tutorial) (such as ML, Haskell, or Idris users)
++ [Tutorial for dependent types or theorem prover users](prover-tutorial)
 + [Tutorial for VSCode extension](vscode-tutorial)
 + [Tutorial for the fake literate mode](fake-literate)
 

diff --git a/src/guide/project-tutorial.md b/src/guide/project-tutorial.md
@@ -5,7 +5,7 @@ and a `src` directory for source code. Here's a sample `aya.json`:
 
 ```json
 {
-  "ayaVersion": "0.30",
+  "ayaVersion": "0.31",
   // ^ The version of Aya you are using -- for compatibility checks
   "name": "<project name>",
   "version": "<project version>",