Implementing Dependent Types in pi-forall(arxiv.org)1 points by dwenzek 3 years ago | 0 commentsNo comments yet