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.