One stop env add #117

New Issue

aniva · 2024-10-22T11:02:32-07:00

aniva commented

2024-10-22 11:02:32 -07:00

When a proof finishes, we could have a one-stop command for env.add that adds the root expr directly to the environment.

I don't know if this is useful, however.

When a proof finishes, we could have a one-stop command for `env.add` that adds the root expr directly to the environment. I don't know if this is useful, however.

aniva added the

labels 2024-10-22 11:02:32 -07:00

aniva self-assigned this 2024-10-22 11:02:32 -07:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#117