lambek-0.1.0
- lambek 0.1.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- Crates.io
- Source
- Owners
- soareschen
- Dependencies
- Versions
- 13.16% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module nat_trans

Traits

Module lambek::nat_trans[−][src]

Natural Transformation, type f ~> g = forall x. f x -> g x

Traits

NaturalTransformation