Agda backend for Rust

• Compile Agda code to Rust

cabal run -- agda2rust --help

cabal run -- agda2rust test/hello.agda
cabal run -- agda2rust test/test.agda

• Testing compiled Rust code

rustc --crate-type=lib test/hello.rs
rustc --crate-type=lib test/test.rs

Working with source code

• Starting continuous compilation loop

ghcid

• Build

cabal build all

• Run tests

cabal test all

• CI

Unit tests and compiling sample Agda code to Rust are run on CI.