diff --git a/examples/operational-transformation/.gitignore b/examples/operational-transformation/.gitignore
new file mode 100644
index 0000000..724bbe1
--- /dev/null
+++ b/examples/operational-transformation/.gitignore
@@ -0,0 +1 @@
+compiled/
diff --git a/examples/operational-transformation/README.md b/examples/operational-transformation/README.md
new file mode 100644
index 0000000..c868380
--- /dev/null
+++ b/examples/operational-transformation/README.md
@@ -0,0 +1,11 @@
+# Operational Transformation
+
+The program `syndicate-server.rkt` is a port of
+[`server.rkt`](https://github.com/tonyg/racket-operational-transformation/blob/master/operational-transformation-demo/server.rkt)
+to Syndicate.
+
+It accepts the same command-line arguments, and works with unmodified
+[clients](https://github.com/tonyg/racket-operational-transformation/blob/master/operational-transformation-demo/client.rkt);
+see the
+[README](https://github.com/tonyg/racket-operational-transformation/blob/master/README.md)
+for more information.
diff --git a/examples/operational-transformation/syndicate-server.rkt b/examples/operational-transformation/syndicate-server.rkt
new file mode 100644
index 0000000..dd1ff0a
--- /dev/null
+++ b/examples/operational-transformation/syndicate-server.rkt
@@ -0,0 +1,70 @@
+#lang syndicate/actor
+
+(require racket/file)
+(require racket/serialize)
+(require operational-transformation)
+(require operational-transformation/text/simple-document)
+
+(require/activate syndicate/drivers/tcp)
+(require/activate syndicate/drivers/line-reader)
+
+(struct file-being-edited (name) #:prefab)
+(struct proposed-op (p) #:prefab)
+(struct accepted-op (p) #:prefab)
+
+(define cmdline-port (make-parameter 5888))
+(define cmdline-filename (make-parameter "info.rkt"))
+
+(actor (react (field [state (make-server (simple-document
+                                          (if (file-exists? (cmdline-filename))
+                                              (begin (log-info "loading ~v" (cmdline-filename))
+                                                     (file->string (cmdline-filename)))
+                                              (begin (log-info "will create ~v" (cmdline-filename))
+                                                     ""))))])
+              (assert (extract-snapshot (state)))
+
+              (begin/dataflow
+                (display-to-file (simple-document-text (server-state-document (state)))
+                                 (cmdline-filename)
+                                 #:exists 'replace))
+
+              (on (message (proposed-op $p))
+                  (state (incorporate-operation-from-client (state) p))
+                  (define sp (extract-operation (state)))
+                  (when sp (send! (accepted-op sp))))))
+
+(actor (define s (tcp-listener (cmdline-port)))
+       (log-info "listening on port ~v" (cmdline-port))
+       (forever (assert (advertise (observe (tcp-channel _ s _))))
+                (during/actor (advertise (tcp-channel $c s _))
+                              (assert (advertise (tcp-channel s c _)))
+                              (on-start (log-info "~a: connected" c))
+                              (on-stop (log-info "~a: disconnected" c))
+                              (connection-react c s (cmdline-filename)))))
+
+(define (connection-react c s filename)
+  (define (output v)
+    ;; (log-info "~a: sending them ~v" c v)
+    (define p (open-output-bytes))
+    (write (serialize v) p)
+    (newline p)
+    (send! (tcp-channel s c (get-output-bytes p))))
+
+  (on-start
+   (output filename)
+   (let-event [(asserted ($ snapshot (server-snapshot _ _)))]
+              (output snapshot)
+              (react (on (message (accepted-op $p))
+                         (output p)))))
+
+  (on (message (tcp-channel-line c s $line))
+      (send! (proposed-op (deserialize (read (open-input-bytes line)))))))
+
+(module+ main
+  (require racket/cmdline)
+  (command-line
+   #:once-each
+   [("-p" "--port") server-port ((format "Server port (default ~v)" (cmdline-port)))
+    (cmdline-port server-port)]
+   #:args (filename)
+   (cmdline-filename filename)))