Skip to content
Stdlib Naming Convention

feat(formal): grow P-2 to the STLC with functions + the substitution lemma #1013

Sign in to view logs

feat(formal): grow P-2 to the STLC with functions + the substitution lemma

feat(formal): grow P-2 to the STLC with functions + the substitution lemma #1013

Run time

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