i'll be streaming session 2 of learning Lean with @yetanotheruseless.com at 3pm UTC today (2.5 hrs from now)!
last week we covered basic Lean syntax and had just started touching on putting values in types: what it means, why you might want to, and what you can do with it ✨
aronadler streams live on Twitch! Check out their videos, sign up to chat, and join their community.
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.
