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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wisnesky on Sept 28, 2023 \| parent \| context \| favorite \| on: Applied Category Theory Course We've used Poly to prove results about functorial data migration.

solomonb on Sept 28, 2023 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact