Skip to content

Latest commit

 

History

History
41 lines (27 loc) · 602 Bytes

README.md

File metadata and controls

41 lines (27 loc) · 602 Bytes
Raw

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.