fix: variable and universe commands in environment capture #183

Open
aniva wants to merge 1 commits from bug/variable-level-names-in-scope into dev
Owner

Currently these are not captured.

Currently these are not captured.
aniva added the
part/Frontend
category
bug
part/Environment
labels 2025-03-29 22:23:27 -07:00
aniva self-assigned this 2025-03-29 22:23:27 -07:00
aniva added this to the 0.3 milestone 2025-03-29 22:23:34 -07:00
aniva added
part/REPL
and removed
part/Frontend
labels 2025-03-29 22:41:57 -07:00
Author
Owner

Also need to ensure that unfoldMatchers does not unfold strong induction

Also need to ensure that `unfoldMatchers` does not unfold strong induction
aniva added 1 commit 2025-04-03 11:18:43 -07:00
This pull request can be merged automatically.
You are not authorized to merge this pull request.
Sign in to join this conversation.
No description provided.