The dialog's text as last checked, once typing paused (user, 2026-10-16), and Cube's reading of it, which Import takes
ReadonlyeditorWhether Cube writes the cube back as the lambda; none until checked
Import Pure, from the Cube menu: the dialog, its text, why its last check or import failed
What the page calls the lambda it opened on
Where the dialog's check stands, for its code box's border: green once Cube can read the text into steps
Checks the dialog's text, once typing pauses: reads it into a cube, as Import would, without importing it, and has the engine type the cube; says why it can't be read or doesn't compile
Closes the banner
The engine's completions of the Pure typed so far, on the cube's model: none for JSON, or before the cube has a model
Import Pure (PLAN §11.18): the dialog's text, Pure or the engine's JSON of a lambda, read into a cube that replaces this one, as one undo step; then, once checked, whether Cube writes it back the same. A lambda that can't be read leaves the cube as it was, and says why in the dialog.
Opens the page on a host's lambda (
CubeEditor'sinitialLambda): read into a cube, opened as the first one, with no undo step; a lambda that can't be read leaves the cube empty and says why. Once the cube's expressions are checked, whether Cube writes it back the same way.