poi 0.25.0

A pragmatic point-free theorem prover assistant
Documentation 
1
2
3
4
5
6

use poi::prelude::*;

fn main() {
    let a = path("f", ("g0", "g1", "g2"));
    println!("{}", a);
}