5 ms·Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]8 points by matt_d 4mo ago