| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | kernel: Vocab, Celebration and Temporal parametric types | Lukasz Kasprzak | 2026-08-11 | 1 | -0/+24 |
| 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. | |||||
 |
index : colitur.git | |
| deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999 | lukas-labunix |
| aboutsummaryrefslogtreecommitdiff |