update advertised compatible version of Agda

martinescardo · Oct 17, 2024 · f9fdbab · f9fdbab
1 parent 652e122
commit f9fdbab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/source/AllModulesIndex.lagda b/source/AllModulesIndex.lagda
@@ -4,7 +4,7 @@
    constructive univalent mathematics
    written in Agda
 
-   Tested with Agda 2.6.4.3 and 2.7.0
+   Tested with Agda 2.7.0.1. (It may still work with Agda 2.6.4.3.)
 
    Martin Escardo and collaborators, 2010--2024--∞
    Continuously evolving.

diff --git a/source/index.lagda b/source/index.lagda
@@ -8,7 +8,7 @@
    https://www.cs.bham.ac.uk/~mhe/
    https://github.com/martinescardo/TypeTopology
 
-   Tested with Agda 2.7.0.1. (It may still work with Agda 2.6.4.3)
+   Tested with Agda 2.7.0.1. (It may still work with Agda 2.6.4.3.)
 
    * Our main use of this development is as a personal blackboard or
      notepad for our research and that of collaborators. In