Skip to content
Semgrep SAST

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

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 … #1220

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

semgrep.yml

on: push
semgrep
46s
semgrep
Fit to window
Zoom out
Zoom in