Create a new todo list example. You'll probably want to define a Todo datatype with LWW fields for the task, whether it's completed, a due date, etc. You can use deriveVRDT to create the instance/handle the syncing. For the overall state, I'd probably use a TwoPMap UniqueId Todo. It may make sense to use splitV to display the selected todo's details on a separate widget.
Create a new todo list example. You'll probably want to define a
Todo
datatype with LWW fields for the task, whether it's completed, a due date, etc. You can usederiveVRDT
to create the instance/handle the syncing. For the overall state, I'd probably use aTwoPMap UniqueId Todo
. It may make sense to usesplitV
to display the selected todo's details on a separate widget.Potentially helpful references include the vty todo list example (switch to this widget) and the existing event scheduler example.