Docs.rs
  • agda-tree-0.2.1
    • agda-tree 0.2.1
    • 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
    • i686-pc-windows-msvc
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-pc-windows-msvc
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Badges
    • Builds
    • Metadata
    • Shorthand URLs
    • Download
    • Rustdoc JSON
    • Build queue
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

Crate agda_tree

agda_tree0.2.1

  • All Items
  • Modules

Crates

  • agda_tree
?
Settings

Crate agda_tree

source ·

Modules§

  • cli
  • command
  • extract
    The program here extract agda code from *.agda.tree
  • tree

Results

Query parser error: "Unexpected - (did you mean ->?)".