Hacker News new | ask | show | jobs
Implementing Dependent Types in pi-forall (arxiv.org)
1 points by dwenzek 1437 days ago