diff --git a/src/guide/index.md b/src/guide/index.md
index 66e47e8..c22a62a 100644
--- 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
index d7a8bd1..389d190 100644
--- 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>",