WOOT_Strong_Eventual_Consistency

ErrorMonad

Data

BasicAlgorithms

CreateAlgorithms

IntegrateAlgorithm

DistributedExecution

SortKeys

Psi

Sorting

Consistency

CreateConsistent

IntegrateInsertCommute

StrongConvergence

SEC

Example