fixed typo

agda · Oct 20, 2023 · 03c3fe1 · 03c3fe1
1 parent 96d74e3
commit 03c3fe1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.agda b/README.agda
@@ -19,7 +19,7 @@ module README where
 -- and other anonymous contributors.
 ------------------------------------------------------------------------
 
--- This version of the library has been tested using Agda 2.6.3.
+-- This version of the library has been tested using Agda 2.6.4.
 
 -- The library comes with a .agda-lib file, for use with the library
 -- management system.