[wisnesky]

We've used Poly to prove results about functorial data migration.

[solomonb]

Hey you might be interested in this work-in-progress type theory for Poly: https://github.com/toposInstitute/polytt