From d6d004ca87c3bdd6c7ea663a1008b269ab14193e Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Fri, 24 May 2024 21:03:49 -0700 Subject: [PATCH] Improved repl --- src/repl.modal | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/repl.modal b/src/repl.modal index c331b4e..7812b69 100644 --- a/src/repl.modal +++ b/src/repl.modal @@ -1,17 +1,17 @@ ?(?: ?:) ( \n -\t Hello. Welcome to Modal\n +\t Hi! Welcome to Modal\n \t Start rewriting, or type "quit"\n \n -\t <> Defines a rule\n -\t >< Undefines a rule\n -\t ?x Assigns a register\n +\t <> Define a rule\n +\t >< Undefine a rule\n +\t ?x Assign a register\n \n -\t Have fun!\n +\t Have fun\n \n ) -<> (quit ...) (?(?: ?:) (\n\tSee you soon.\n\n)) -<> ..?~ (?~ ...) +<> (quit @.) (?(?: ?:) (\n\t See you soon\n)) +<> @?~ (?~ @.) -... \ No newline at end of file +@. \ No newline at end of file