Hacker News new | ask | show | jobs
Pi-Forall: How to use and implement a dependently-typed language [video] (youtube.com)
1 points by wkornewald 3831 days ago