Newtyped Indices are Proofs (via waltteri) — discussion

#plt #rust