Bring docs agda version in sync with .cabal file

agda · Dec 12, 2023 · e9598a3 · e9598a3
1 parent 7bac88a
commit e9598a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/introduction.md b/docs/source/introduction.md
@@ -7,7 +7,7 @@
 - [Haskell programming language](https://www.haskell.org)
 - [Haskell Cabal](https://www.haskell.org/cabal/)
 - [Agda programming language](https://github.com/agda/agda)
-  - version >= 2.6.3 && < 2.6.4
+  - version >= 2.6.4 && < 2.6.5
 - [Agda standard library](https://github.com/agda/agda-stdlib)
 - Agda library `agda2hs`
   - this Agda library is include in the `agda2hs` repository; see