Changes explicit argument y to implicit in Induction.WellFounded.WfRec#2084
Merged
MatthewDaggitt merged 25 commits intoagda:masterfrom Oct 4, 2023
Merged
Changes explicit argument `y` to implicit in `Induction.WellFounded.WfRec`#2084MatthewDaggitt merged 25 commits intoagda:masterfrom
MatthewDaggitt merged 25 commits intoagda:masterfrom
Commits
Commits on Sep 10, 2023
Commits on Sep 11, 2023
Commits on Sep 12, 2023
Commits on Sep 13, 2023
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Sep 15, 2023
Commits on Oct 1, 2023
Commits on Oct 4, 2023
- committed
- committed
- committed
- committed
- authored