dyadic-rationals 0.1.2

Binary and Dyadic rational expressions (with binders) in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

#![feature(btree_extract_if)]
pub mod bin;
pub mod dyadic;
pub mod context;
pub mod traits;
pub mod id;

pub use context::Ctx;
pub use context::Set;
pub use dyadic::Dyadic;
pub use bin::Bin;
pub use traits::Specializable;
pub use traits::Normalizable;