Skip to content
Back to pull request #2974

refactor: CasesOnApp.refineThrough can return a lambda, not an open term #8757

Sign in to view logs

refactor: CasesOnApp.refineThrough can return a lambda, not an open term

refactor: CasesOnApp.refineThrough can return a lambda, not an open term #8757

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux
11m 7s
11m 7s