“A Little Taste of Dependent Types” by David Christiansen (2018) [video]youtube.com2 points·strangecasts··0 commentsOpen articleSaveView on HN