feat: Print value of arbitrary mvar and goals in goal state #141

Merged
aniva merged 4 commits from goal/print into dev 2024-12-11 16:52:20 -08:00
Owner

Partially resolves #138

Partially resolves #138
aniva added this to the 0.3 milestone 2024-12-10 14:15:55 -08:00
aniva added the
part/Serial
part/REPL
category
feature
part/Goal
labels 2024-12-10 14:15:55 -08:00
aniva self-assigned this 2024-12-10 14:15:55 -08:00
aniva added 1 commit 2024-12-10 14:15:56 -08:00
aniva changed title from feat: Print value of arbitrary mvar in goal state to feat: Print value of arbitrary mvar and goals in goal state 2024-12-11 16:39:49 -08:00
aniva modified the milestone from 0.3 to 0.2.23 2024-12-11 16:39:51 -08:00
aniva added 1 commit 2024-12-11 16:40:07 -08:00
aniva added 1 commit 2024-12-11 16:50:07 -08:00
aniva added 1 commit 2024-12-11 16:52:08 -08:00
aniva merged commit 3744cfaa96 into dev 2024-12-11 16:52:20 -08:00
aniva deleted branch goal/print 2024-12-11 16:52:21 -08:00
Sign in to join this conversation.
No description provided.