This example projects shows how the agda2rust backend can be integrated into a Cargo project. This allows calling Agda code from Rust.
First, make sure the agda2rust backend, Rust and Cargo are installed. Compiling the code example should be as simple as running cargo build.