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