i will be streaming live on twitch with @yetanotheruseless.com at 3pm UTC today (2.5 hrs from now)!
we'll cover the basics of dependent types: we'll try to understand what they're all about, what you can express with them, and how they work in Lean
hope to see you there 🙌 www.twitch.tv/aronadler
aronadler streams live on Twitch! Check out their videos, sign up to chat, and join their community.
