Update README

README.md

@@ -37,6 +37,13 @@ implementation("org.glavo.kala:kala-common:0.79.0")
 
 * [Our Tutorial](docs/Tutorial.md)
 
+## Who is using Kala Common?
+
+Although Kala Common is not yet production-ready,
+we are already using it in [Aya Language](https://github.com/aya-prover/aya-dev).
+
+We welcome others to try Kala Common for experimental purposes.
+
 ## Note
 
 The last version compatible with Java 8 was 0.70.0. Building and running kala common now require Java 21.
@@ -49,6 +56,7 @@ Due to payment method restrictions, donations are currently only supported throu
 
 Here are the ways to donate: [捐赠支持 Glavo](https://donate.glavo.site/)
 
+
 ## License
 
 All Java code is released under the [Apache 2.0](./LICENSE) license.