bump Aiken version in CI.

Author: KtorZ

.github/workflows/continuous-integration.yml

@@ -25,7 +25,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: aiken-lang/setup-aiken@v1
         with:
-          version: v1.1.13
+          version: v1.1.16
       - run: aiken fmt --check
       - run: aiken check -D
       - run: aiken build

README.md

@@ -18,6 +18,14 @@ It provides many useful primitives for writing and composing arbitrary generator
 aiken add aiken-lang/fuzz --version v2
 ```
 
+## Compatibility
+
+aiken's version | fuzz's version(s)
+---             | ---
+$>=$ `v1.1.15`  | `2.2.0`
+$>=$ `v1.1.13`  | `2.1.1`, `2.1.0`
+$>=$ `v1.1.0`   | `1.0.0`
+
 ## Getting started
 
 First, make sure you have the [Aiken's user manual about tests](https://aiken-lang.org/language-tour/tests#property-based-test); in particular the section about property-based test.