quick ixmonad and examples #17
Annotations
1 error and 6 warnings
Run coq-community/docker-coq-action@v1:
theories/Structures/IXMonad.v#L31
The default value for instance locality is currently "local" in a
|
Run coq-community/docker-coq-action@v1:
theories/Structures/Monoid.v#L16
A coercion will be introduced instead of an instance in future
|
Run coq-community/docker-coq-action@v1:
theories/Programming/Eqv.v#L8
A coercion will be introduced instead of an instance in future
|
Run coq-community/docker-coq-action@v1:
theories/Programming/Le.v#L29
A coercion will be introduced instead of an instance in future
|
Run coq-community/docker-coq-action@v1:
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
Run coq-community/docker-coq-action@v1:
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
Run coq-community/docker-coq-action@v1:
theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
|
The logs for this run have expired and are no longer available.
Loading