Implementing Dependent Types in pi-forall · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2207.02129/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTImplementing Dependent Types in pi-forall — HN submissionhttps://news.ycombinator.com/item?id=44290034urn:hackerpapers:submission:2207.02129:44290034Mon, 16 Jun 2025 14:42:04 GMT<p>Implementing dependent types in pi-forall (2023)</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2207.02129/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLImplementing Dependent Types in pi-forall — HN submissionhttps://news.ycombinator.com/item?id=31998805urn:hackerpapers:submission:2207.02129:31998805Wed, 06 Jul 2022 09:59:16 GMT<p>Implementing Dependent Types in pi-forall</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2207.02129/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL