ElmGossip
Source code
About
Gossip Protocols
⊤
Add constituent
Constituents
⊤
⊥
σ
x
= ϵ
σ
x
= τ;zx
σ
x
= τ;xz
xy ∈ σ
x
yx ∈ σ
x
S
σ
xy
Any
Call Once
Learn New Secrets
Spider
Token
Weak Call Once
Custom
Possible calls
None
Call sequence
Execute
No call sequence entered
Call history
Gossip graph
Gossip graph input
Examples
Canonical representation
Type something above to see a graph!
