update stlc.pdf

Infinity-Type-Cafe · Mar 6, 2024 · 676721c · 676721c
1 parent e1d1c7e
commit 676721c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/2023/lambda-and-stlc/stlc.pdf b/2023/lambda-and-stlc/stlc.pdf