Skip to content
LogRel CI

Add a neutral inversion lemma for type well-formedness and use it. #387

Sign in to view logs

Add a neutral inversion lemma for type well-formedness and use it.

Add a neutral inversion lemma for type well-formedness and use it. #387

Triggered via push September 14, 2023 12:29
@ppedrotppedrot
pushed 735a6c7
type-decl-inv-later
Status Success
Total duration 8m 35s
Artifacts –

build.yml

on: push
build
8m 22s
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