chore: Update given Agda version in README

hazelgrove · Oct 10, 2023 · 9ac79f4 · 9ac79f4
1 parent 419d0f7
commit 9ac79f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ The formalism may be built from LaTeX via `make formalism.pdf`.
 
 All semantics and metatheorems are mechanized in the Agda proof assistant. To check the proofs, an
 installation of [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download) is required.
-The proofs are known to load cleanly under Agda 2.6.2.2.
+The proofs are known to load cleanly under Agda 2.6.3.
 
 Once installed, `agda all.agda` in the appropriate directory will cause Agda to check all the proofs.