Skip to content
LogRel CI

variadic binders for Pi, SIgma and lambda #495

Sign in to view logs

variadic binders for Pi, SIgma and lambda

variadic binders for Pi, SIgma and lambda #495

Triggered via pull request December 14, 2023 12:37
@kyoDralliamkyoDralliam
synchronize #59
term-notations
Status Success
Total duration 6m 2s
Artifacts –

build.yml

on: pull_request
build
5m 53s
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