Skip to content
Check formatting

TC: Iterate typechecking function arguments until no quantifiers can … #1397

Sign in to view logs

TC: Iterate typechecking function arguments until no quantifiers can …

TC: Iterate typechecking function arguments until no quantifiers can … #1397

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.0.0, ubuntu-latest, 0.26.0)
28s
28s