ffi_test/README.md

# 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.
update README 2024-10-25 16:50:24 +09:00			`# 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.`