2 ms·“A Little Taste of Dependent Types” by David Christiansen (2018) [video]2 points by strangecasts 6y ago