feat: Let tactic #70

Merged

aniva merged 4 commits from goal/let into dev

2024-04-12 21:42:32 -07:00

Author	SHA1	Message	Date
Leni Aniva	614b9aa4ae	Merge branch 'dev' into goal/let	2024-04-12 21:41:56 -07:00
Leni Aniva	b45b90b810	test: Metavariable name matches in let	2024-04-12 21:41:16 -07:00
Leni Aniva	77907fd060	feat: `goalLet` function	2024-04-12 21:30:56 -07:00
Leni Aniva	4ee955c21f	test: Tests the `let` tactic	2024-04-12 21:16:00 -07:00