A Little Taste of Dependent Types [video]youtube.com2 points·Davidbrcz··0 commentsOpen articleSaveView on HN