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

(youtube.com)

7 points | by matt_d 13 hours ago ago

No comments yet.