diff options
Diffstat (limited to 'examples/editor.aup')
| -rw-r--r-- | examples/editor.aup | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/examples/editor.aup b/examples/editor.aup deleted file mode 100644 index 621c8ba..0000000 --- a/examples/editor.aup +++ /dev/null @@ -1,20 +0,0 @@ -# Revision-checked byte edits of keyed documents. The runtime owns the -# documents: an edit is a transaction on the key's working version, which -# commits only if the sender's revision is still current. -state documents: bytes by key - -input show = message by key -input edit = message by key { - start: u32 - remove: u32 - insert: bytes -} - -on show { - reply documents[key] -} - -on edit { - documents[key].replace(edit.start .. edit.start + edit.remove, edit.insert) - reply edit.insert -} |
