agda-mode-0.1.8
- agda-mode 0.1.8
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- ice1000
- Dependencies
- either ^1.5 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  tokio ^0.3.4 normal
- Versions
- 22.83% of the crate is documented
Platform
Feature flags

docs.rs

Rust

send_command

agda_mode0.1.8

In agda_mode::agda

agda_mode::agda

Function send_command

pub async fn send_command(stdin: &mut ChildStdin, command: &IOTCM) -> Result<()>

Expand description

Send an IOTCM command to Agda.