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 import failed
What the page calls the lambda it opened on
Closes the banner
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.