From 3e6b9bcdfa7d3432a4279c497b6ed4e6d43c60f5 Mon Sep 17 00:00:00 2001
From: qwjyh <urataw421@gmail.com>
Date: Fri, 25 Oct 2024 16:50:24 +0900
Subject: [PATCH] update README

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index c1cd2df..3a15353 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,5 @@
-# ffi_test
\ No newline at end of file
+# ffi_test
+
+Just a copy of [official lake ffi example project](https://github.com/leanprover/lean4/tree/master/src/lake/examples/ffi).
+
+I want to add FFI for libcurl.