One stop env.add #117

Open
opened 2024-10-22 11:02:32 -07:00 by aniva · 0 comments
Owner

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
part/Environment
part/Goal
category
feature
priority
low
labels 2024-10-22 11:02:32 -07:00
aniva self-assigned this 2024-10-22 11:02:32 -07:00
aniva changed title from One stop env add to One stop `env.add` 2025-03-08 21:20:25 -08:00
Sign in to join this conversation.
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
No description provided.