▲ 8 pointsType Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]youtube.comby matt_d·2mo ago·0 comments·view on hn ↗