Dependent Types in Haskell: Present and Futureyoutube.com8 points·coolsunglasses··0 commentsOpen articleSaveView on HN