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