Post #1805743
2026-01-26 13:33 UTC
My video on teaching @thosgood how to elaborate the simply typed lambda calculus is up! https://www.youtube.com/watch?v=uBjuFDs-shw&list=PLhgq-BqyZ7i5C6ZnaYiGDhiGZuvvtLh5o&index=9
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-01-26 13:35
@olynch @thosgood Cool! Looking forward to watch. I have a student this might be good for…