Pi-Forall: How to use and implement a dependently-typed language [video] #1 Post by wkornewald » Tue, Dec 29, 2015, 8:47 AM UTC Pi-Forall: How to use and implement a dependently-typed language [video]youtube.com