Implementing Dependent Types in pi-forall(arxiv.org)1 points·by dwenzek·4 lata temu·0 commentsarxiv.orgImplementing Dependent Types in pi-forallhttps://arxiv.org/abs/2207.021290 commentsPost comment—