6 ms·
We've used Poly to prove results about functorial data migration.
by wisnesky 3y ago
We've used Poly to prove results about functorial data migration.
- solomonb 3y agoHey you might be interested in this work-in-progress type theory for Poly: https://github.com/toposInstitute/polytt https://github.com/toposInstitute/polytt