Greg Shuflin 32f83c3b79 Work with a lean structure type in rust

2026-07-28 01:55:26 -07:00

..

src

Work with a lean structure type in rust

2026-07-28 01:55:26 -07:00

build.rs

Work with strings across the FFI

2026-07-28 01:03:51 -07:00

Cargo.lock

Add rust basic skeleton

2026-07-01 17:41:16 -07:00

Cargo.toml

Working example of calling Lean from rust!

2026-07-01 18:31:13 -07:00