chore: Code cleanup #164

Merged

aniva merged 5 commits from chore/cleanup into dev

2025-01-26 22:04:13 -08:00

Author	SHA1	Message	Date
Leni Aniva	970c16a0a4	chore: Use `StateRefT` in `Repl.lean`	2025-01-24 20:19:07 -08:00
Leni Aniva	6a7830cb71	fix: Remove spurious print	2025-01-24 19:24:54 -08:00
Leni Aniva	787c9e606d	chore: Cleanup REPL loop	2025-01-24 19:22:58 -08:00
Leni Aniva	976646fb67	chore: Use repeat-break structure	2025-01-24 19:11:05 -08:00
Leni Aniva	418d630255	fix: Remove unused variable	2025-01-24 19:06:07 -08:00