Skip to main content

CODE_CRDT_COUNTERS

logicaffeine_web::ui::examples

Constant CODE_CRDT_COUNTERS 

Source 
pub const CODE_CRDT_COUNTERS: &str = r#"## Definition
A Counter is Shared and has:
    points: ConvergentCount.

## Main
Let mutable c be a new Counter.
Increase c's points by 10.
Increase c's points by 5.
Increase c's points by 3.
Show "Total points:".
Show c's points.
"#;