Skip to content

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

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

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