ToposInstitute/polytt
View on GitHub ↗ ★ 44 OCaml
A type theory with native support for Polynomial Functors.
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2023-09-28 · latest 2026-02-20
20082026
-
…accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polytt And here is a set of single file lambda calculus implementations with a variety of extensions:…
comment by solomonb · 2026-02-20 · in Lil' Fun Langs -
…collaboration with the Topos Institute where we are building a type theory for Polynomial Functors: https://github.com/toposInstitute/polytt Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the…
comment by solomonb · 2023-12-04 · in Ask HN: What side projects landed you a job? -
Hey you might be interested in this work-in-progress type theory for Poly: https://github.com/toposInstitute/polytt
comment by solomonb · 2023-09-28 · in Applied Category Theory Course