/// Common types (used in both input/output to Agda).
pub mod base;

/// Response data types (output of Agda).
pub mod resp;

/// Agda commands (input to Agda).
pub mod cmd;

/// Invoke Agda in command line and interact with it via stdio.
pub mod agda;

#[cfg(test)]
mod tests;