diff --git a/examples/io_repl.modal b/examples/io_repl.modal
deleted file mode 100644
index 5e96b63..0000000
--- a/examples/io_repl.modal
+++ /dev/null
@@ -1,11 +0,0 @@
-?(?-) (This example demonstrates how to keep the runtime active between prompts.)
-
-<> ((You said: quit\n) send) ((You quit.) print ')
-<> (?: print ') (?:)
-<> (?: send) (?: wait stdin)
-<> (wait ?~) ((You said: ?~\n) send)
-<> (' ?x) (?x ')
-
-(Say something, or type "quit": \n) print '
-
-wait stdin
\ No newline at end of file
diff --git a/examples/repl.modal b/examples/repl.modal
new file mode 100644
index 0000000..dac6c3b
--- /dev/null
+++ b/examples/repl.modal
@@ -0,0 +1,9 @@
+?(?-) (This is a fully functional Modal REPL.)
+
+<> (quit wait stdin) ((You quit.\n) print)
+<> (?: print) (?:)
+<> (wait ?~) (?~ wait stdin)
+
+(Say something, or type "quit":\n) print
+
+wait stdin