feat(echo): Displayed/DispHom fibration packaging of the categorical base #750
agda.yml
on: pull_request
check
4s
cold-check
10m 53s
Annotations
1 error
|
check
Process completed with exit code 1.
|