Skip to content
Check formatting

Lean: support for implicit arguments in function application #1992

Sign in to view logs

Lean: support for implicit arguments in function application

Lean: support for implicit arguments in function application #1992

Run time

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