modal/examples/repl.modal

?(?-) (This is a fully functional Modal REPL.)

<> quit EOF
<> (?: print) ?:
<> (wait ?~) (?~ wait stdin)
<> (EOF wait stdin) (Bye.\n print)

(Say something, or type "quit":\n) print wait stdin
Replace io_repl.modal with an actual Modal REPL 2024-04-23 17:07:28 -04:00			`?(?-) (This is a fully functional Modal REPL.)`

Improved REPL 2024-04-25 21:53:22 -04:00			`<> quit EOF`
			`<> (?: print) ?:`
Replace io_repl.modal with an actual Modal REPL 2024-04-23 17:07:28 -04:00			`<> (wait ?~) (?~ wait stdin)`
Improved REPL 2024-04-25 21:53:22 -04:00			`<> (EOF wait stdin) (Bye.\n print)`
Replace io_repl.modal with an actual Modal REPL 2024-04-23 17:07:28 -04:00
Improved REPL 2024-04-25 21:53:22 -04:00			`(Say something, or type "quit":\n) print wait stdin`