Function agda_mode::agda::start_agda

pub fn start_agda(agda_program: &str) -> JustStdio

Start the Agda process and return the stdio handles.

Note that this function may panic.