2 ms·
Hey you might be interested in this work-in-progress type theory for Poly: https://github.com/toposInstitute/polytt https://github.com/toposInstitute/polytt
by solomonb 3y ago
Hey you might be interested in this work-in-progress type theory for Poly:
https://github.com/toposInstitute/polytt https://github.com/toposInstitute/polytt