← All repos

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