Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
5 points
1 hour ago
| 0 comments
| youtube.com
| HN
No one has commented on this post.