Skip to content

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

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

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