Skip to content

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

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