News for hackers. Stuff that matters.

A comment on Applied Category Theory Course. Parent comment

Re:Applied Category Theory Course by wisnesky on Thursday September 28, 2023 @04:41PM (#37695527)
We've used Poly to prove results about functorial data migration.
[ Parent | on HN ]
Re:Applied Category Theory Course by solomonb on Thursday September 28, 2023 @05:36PM (#37696219)
Hey you might be interested in this work-in-progress type theory for Poly: https://github.com/toposInstitute/polytt
[ Parent | on HN ]