Katara: Synthesize CRDTs from Sequential Types #1 Post by shadaj » Fri, Oct 07, 2022, 6:15 PM UTC Katara: Synthesize CRDTs from Sequential Typesgithub.com