General Purpose Programming with Dependent Types [video]youtube.com3 points·rwosync··0 commentsOpen articleSaveView on HN