poi 0.25.0

A pragmatic point-free theorem prover assistant
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use poi::*;

fn main() {
    loop {
        use std::io::{self, Write};

        print!("> ");
        let mut input = String::new();
        io::stdout().flush().unwrap();
        match io::stdin().read_line(&mut input) {
            Ok(_) => {}
            Err(_) => {
                println!("ERROR: Could not read input");
                continue;
            }
        };

        match input.trim() {
            "bye" => break,
            _ => {}
        }

        let expr = match parse_str(&input, &[]) {
            Ok(expr) => expr,
            Err(err) => {
                println!("ERROR:\n{}", err);
                continue;
            }
        };
        println!("{}", expr);
        println!("{:?}", expr);
    }
}