agda-tree-0.2.4
- agda-tree 0.2.4
- Docs.rs crate page
- GPL-3.0-or-later
- Links
- crates.io
- Source
- Owners
- dannypsnl
- Dependencies
- clap ^4.5.11 normal
  html_parser ^0.7.0 normal
- Versions
- 47.06% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

agda_tree0.2.4

In agda_tree::command::build

agda_tree::command::build

Function execute

pub fn execute(
    working_dir: &PathBuf,
    output_dir: &PathBuf,
    skip_agda: bool,
) -> Result<()>