feat: Print parent expression assignment #45

Merged
aniva merged 6 commits from goal/relation into dev 2024-02-15 14:55:05 -08:00
Owner

When a tactic is executed, it assigns some expression to the parent goal metavariable. Printing this variable allows elimination of automatically-deduced arguments.

When a tactic is executed, it assigns some expression to the parent goal metavariable. Printing this variable allows elimination of automatically-deduced arguments.
aniva added this to the 0.2.12 milestone 2024-01-24 18:21:00 -08:00
aniva added the
part/Goal
category
feature
labels 2024-01-24 18:21:00 -08:00
aniva self-assigned this 2024-01-24 18:21:00 -08:00
aniva added 1 commit 2024-01-24 18:21:01 -08:00
aniva added 1 commit 2024-01-30 16:38:00 -08:00
aniva added 1 commit 2024-01-30 17:22:52 -08:00
aniva added 1 commit 2024-01-30 17:45:48 -08:00
aniva added 1 commit 2024-02-15 14:43:43 -08:00
aniva added 1 commit 2024-02-15 14:47:28 -08:00
aniva merged commit 3292b34070 into dev 2024-02-15 14:55:05 -08:00
aniva deleted branch goal/relation 2024-02-15 14:55:05 -08:00
Sign in to join this conversation.
No description provided.