aces-0.0.7
Platform
Feature flags

docs.rs

Rust

aces 0.0.7

Algebra of Cause-Effect Structures

Crate
Source
Builds
Feature flags

..
arrow-sequence-six.cex
arrow-sequence-two.cex
arrow.cex
bridge-bad.cex
bridge-good.cex
choice-five.cex
choice-six.cex
choice-three.cex
choice-two.cex
fork-six.cex
independent-arrows-six.cex
join-six.cex
meet-five.cex
meet-two.cex
test-absorption.cex
test-coherence.cex
test-syntax-01.cex
test-syntax-02.cex

1
2
3

name: Meet (two arrows)

z <: [[a >], [b >]]