colitur.git - deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999

	Commit message (Collapse)	Author	Age	Files	Lines
*	kernel: correct false compiler-constraint claim in Celebration comment	Lukasz Kasprzak	2026-08-11	1	-2/+6
\| \| \| \| \| \| \| \| \| \|	The comment explaining Celebration's single type parameter claimed OCaml rejects a type variable that appears in no field. That is false: a phantom season parameter compiles cleanly. The real reason is a design choice, not a compiler constraint -- a celebration has no season of its own (season is contextual to the day, and lives in Temporal.t), and a phantom parameter would carry no information while forcing every consumer to thread a meaningless variable.
*	kernel: Vocab, Celebration and Temporal parametric types	Lukasz Kasprzak	2026-08-11	1	-0/+20
	Rite specificity is carried by type parameters plus a vocab record of operations rather than by functors: the same guarantee that a rite cannot name another rite's season, without threading module plumbing through every kernel module. Celebration takes only the rank parameter, since it has no season field and OCaml rejects a type variable that appears in no field.