Merge pull request #53 from CoqHott/declarative-lambda-congruence #415

Triggered via push September 25, 2023 10:39

master

Status Success

Total duration 10m 46s

Artifacts 1

build.yml

on: push

3 warnings

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in the empty scope stack

Produced during runtime

Name	Size
github-pages Expired	19.3 MB