Refactor library to use λ where
#4101
fredrik-bakke
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yaml
on: pull_request
Matrix: typecheck
Waiting for pending jobs
pre-commit
link-check
Annotations
1 error
|
agda-unimath CI
Canceling since a higher priority waiting request for 'agda-unimath CI-λ-where' exists
|