-
Janno authored
This saves another few billion instructions. To avoid redundant `match_goal`s we use the new combinator `TT.with_goal_prop`.
1a95e749
Validating GitLab CI configuration…
Learn more
This saves another few billion instructions. To avoid redundant `match_goal`s we use the new combinator `TT.with_goal_prop`.