Add option for Meta.ppGoal #78

New Issue

aniva · 2024-06-10T13:03:06-07:00

aniva commented

2024-06-10 13:03:06 -07:00

Instead of having the solver assemble prettyprinted exprs to goals, we should invoke Meta.ppGoal directly to save our users from this hassle.

Instead of having the solver assemble prettyprinted exprs to goals, we should invoke `Meta.ppGoal` directly to save our users from this hassle.

aniva added this to the 0.3 milestone 2024-06-10 13:03:06 -07:00

aniva added the

labels 2024-06-10 13:03:06 -07:00

aniva self-assigned this 2024-06-10 13:03:06 -07:00

aniva added the

priority

low

label 2024-08-31 19:51:16 -07:00

aniva removed this from the 0.3 milestone 2024-09-09 12:52:16 -07:00

aniva added

and removed

labels 2024-10-13 18:21:29 -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#78

Add option for Meta.ppGoal #78

Add option for `Meta.ppGoal` #78