Implementing dependent types in pi-forall (2023) (arxiv.org) 2 points by fanf2 9 hours ago 1 comment Copy Link View on Hacker News