From 7bd15c4a68ec1209dc1fc9c145d670839bb82570 Mon Sep 17 00:00:00 2001
From: Glavo <zjx001202@gmail.com>
Date: Wed, 8 Jan 2025 15:41:25 +0800
Subject: [PATCH] Update README

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index fcba4618..9e8dd7c3 100644
--- a/README.md
+++ b/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.