Terminal

<notatio-terminal> — the real @enumeratio/cli evaluation core in a browser terminal. Two modes: the interactive session (the default), which keeps In[n]/Out[n], and mode="cli", a fixed $ notatio prompt that runs one invocation at a time. What either one accepts is the CLI's business, documented with it: the REPL, the command line, and the CLI reference.

#The session

source · editable

<notatio-terminal />

#One invocation at a time

source · editable

<notatio-terminal mode="cli" />