Issues

• Implement denotational semantics

  jprider63/vrdt#16 · Filter by author jprider63 opened on Mar 26, 2020

• Prove strong eventual consistency

  jprider63/vrdt#13 · Filter by author jprider63 opened on Mar 26, 2020

• Switch proofs to use typeclasses

  jprider63/vrdt#12 · Filter by author jprider63 opened on Mar 26, 2020

• VRDT typeclass proofs

  jprider63/vrdt#11 · Filter by author jprider63 opened on Mar 26, 2020
  1

• Implement todo list example

  jprider63/vrdt#9 · Filter by author jprider63 opened on Mar 20, 2020