Improved repl
This commit is contained in:
parent
da91bc0aed
commit
d6d004ca87
|
@ -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))
|
||||
<> @?~ (?~ @.)
|
||||
|
||||
...
|
||||
@.
|
Loading…
Reference in New Issue