Shell

law shell is not in the published tool. Tool 0.1.1 answers through single commands — ask, case, eval — while the interactive session that keeps a package and a case open exists in the developer build only.

There is no terminal on this page: there is no recorded run to show, and a sketch would be fiction. This page will describe the session once the command ships in a published tool.

Until then, the same work goes through recorded commands: ask a question as in Packages and cases, keep facts with provenance through law case, replay a saved run with law eval. The working session from a first question to an explained answer is walked in the Guide.