segal-types

Segal types for synthetic ∞-categories. Binary composites exist uniquely