News for hackers. Stuff that matters.

A comment on Applied Category Theory Course. Parent comment

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 ]

There are no comments on this comment yet.