Skip to content
Stdlib Naming Convention

feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … #1033

Sign in to view logs

feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage …

feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … #1033

Run time

Learn about OS pricing on GitHub Actions
Job Run time
enforce-lowercase-stdlib
7s
7s