Update README.md

Update that this works with 2.0
agda · Jan 12, 2024 · 7bcf892 · 7bcf892
1 parent e5fef74
commit 7bcf892
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 Welcome to what will hopefully become the standard Category Theory library for Agda.
 
-The current library release, v0.1.8, works with Agda-2.6.3 and stdlib-1.7.2.  The master
+The current library release, v0.2.0, works with Agda-2.6.4 (and 2.6.4.1) and stdlib-2.0.  The master
 branch should also work with same, but may contain various incompatibilities.
 
 Note that this should be considered pre-beta software, and that backwards compability