metacat 0.2.1

metacat: a categorical theorem prover
Documentation 
1
2
3
4
5

pub mod types;
pub use types::*;

pub mod inline;
pub mod lift;