this week we'll be taking it further: we'll be exploring props, the difference between definitional and propositional equality, and we'll start using some basic tactics in the process
see you at www.twitch.tv/aronadler soon!
aronadler streams live on Twitch! Check out their videos, sign up to chat, and join their community.
