A little taste of dependent typesyoutube.com2 points·cercatrova··0 commentsOpen articleSaveView on HN