Skip to content
LogRel CI

Semantify the proofs of type inversion #388

Sign in to view logs

Semantify the proofs of type inversion

Semantify the proofs of type inversion #388

Triggered via pull request September 14, 2023 12:30
@ppedrotppedrot
opened #48
type-decl-inv-later
Status Success
Total duration 10m 50s
Artifacts –

build.yml

on: pull_request
build
10m 37s
build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in the empty scope stack