feat: Let tactic in REPL #111

Merged

aniva merged 1 commits from repl/tactic-let into dev 2024-10-12 16:54:13 -07:00

Conversation 1 Commits 1 Files Changed 2 +12 -8

1 Commits

Author	SHA1	Message	Date
Leni Aniva	645d9c9250	feat: Let tactic in REPL	2024-10-12 16:17:21 -07:00