Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/TimelyDataflow/differential-dataflow is a good alternative to katara
Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/TimelyDataflow/differential-dataflow is a good alternative to katara