From 7e9eab04fc25a8918f0ef107219b47deb08d9b84 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Thu, 25 Apr 2024 18:53:22 -0700 Subject: [PATCH] Improved REPL --- examples/repl.modal | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/examples/repl.modal b/examples/repl.modal index 2f2b8d6..e6354c9 100644 --- a/examples/repl.modal +++ b/examples/repl.modal @@ -1,10 +1,8 @@ ?(?-) (This is a fully functional Modal REPL.) -<> (EOF wait stdin) ((Bye.\n) print) -<> (quit wait stdin) ((You quit.\n) print) -<> (?: print) (?:) +<> quit EOF +<> (?: print) ?: <> (wait ?~) (?~ wait stdin) +<> (EOF wait stdin) (Bye.\n print) -(Say something, or type "quit":\n) print - -wait stdin +(Say something, or type "quit":\n) print wait stdin