Pi-Forall: How to use and implement a dependently-typed languageyoutube.com10 points·mightybyte··0 commentsOpen articleSaveView on HN