Why Cube can't read a lambda into a cube (Import Pure, PLAN ยง11.18): a
construct it has no IR or no step for, or a source the host can't bind.
Nothing is imported in part, so the message names the first problem found,
in words the person importing can act on.
Why Cube can't read a lambda into a cube (Import Pure, PLAN ยง11.18): a construct it has no IR or no step for, or a source the host can't bind. Nothing is imported in part, so the message names the first problem found, in words the person importing can act on.