Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]

(youtube.com)

7 points | by matt_d 14 hours ago ago

No comments yet.