Skip to content
Stdlib Naming Convention

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

Sign in to view logs

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

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

Triggered via push June 21, 2026 13:48
@hyperpolymathhyperpolymath
pushed 12618eb
main
Status Success
Total duration 10s
Artifacts –

stdlib-naming.yml

on: push
enforce-lowercase-stdlib
6s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in