From f9fdbab7388d0f7835ddf6e26e647a5bd72c8117 Mon Sep 17 00:00:00 2001 From: Martin Escardo Date: Thu, 17 Oct 2024 16:43:32 +0100 Subject: [PATCH] update advertised compatible version of Agda --- source/AllModulesIndex.lagda | 2 +- source/index.lagda | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/source/AllModulesIndex.lagda b/source/AllModulesIndex.lagda index 06b0ec9be..793a58f98 100644 --- 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 index 885a7bcfa..6e6433511 100644 --- 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