BLOCKED: feat: withInstantiatMainGoal combinator to eagerly instantiate goal metavariables#212
Closed
alexkeizer wants to merge 11 commits intomainfrom with-instantiate-goal
+491-250
Commits
Commits on Oct 1, 2024
- committed
- committed
- committed
- committed
- committed
