fix: `universe` commands in environment capture #183

Merged

aniva merged 5 commits from bug/variable-level-names-in-scope into dev

2025-04-07 20:18:50 -07:00

Author	SHA1	Message	Date
Leni Aniva	5df3d2bee1	refactor: Remove `runTermElabM` from library	2025-04-07 20:17:58 -07:00
Leni Aniva	9216e4fa86	chore: Format code	2025-04-07 11:51:48 -07:00
Leni Aniva	f42af9f6a8	fix: Level name capture	2025-04-05 14:26:22 -07:00
Leni Aniva	70152c7715	refactor: Optional levels	2025-04-03 14:38:40 -07:00
Leni Aniva	cf4a5955e3	test: Non-matchers are not matchers	2025-04-03 11:18:17 -07:00

fix: universe commands in environment capture #183