feat: Let tactic #70

Merged
aniva merged 4 commits from goal/let into dev 2024-04-12 21:42:32 -07:00
Owner

This tactic was supported by the existing interface tryAssign ... "let name: Type := _; _, but I'm making a specialized interface so its more convenient.

This tactic was supported by the existing interface `tryAssign ... "let name: Type := _; _`, but I'm making a specialized interface so its more convenient.
aniva added this to the 0.3 milestone 2024-04-12 21:32:21 -07:00
aniva added the
category
feature
label 2024-04-12 21:32:21 -07:00
aniva self-assigned this 2024-04-12 21:32:21 -07:00
aniva added 2 commits 2024-04-12 21:32:22 -07:00
aniva added 1 commit 2024-04-12 21:41:36 -07:00
aniva added 1 commit 2024-04-12 21:42:05 -07:00
aniva merged commit 72dd20ea87 into dev 2024-04-12 21:42:32 -07:00
aniva deleted branch goal/let 2024-04-12 21:42:33 -07:00
Sign in to join this conversation.
No description provided.