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: Vocab, Celebration and Temporal parametric types	Lukasz Kasprzak	2026-08-11	1	-1/+3
\| \| \| \| \| \| \| \|	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.
*	kernel(date): ISO-8601 rendering, validating parse, sexp converters	Lukasz Kasprzak	2026-08-11	1	-1/+1
\| \| \| \| \| \| \|	Adds sexplib and ppx_sexp_conv to the project and wires the ppx into the kernel library. Date's sexp form is an ISO-8601 atom rather than the opaque rata die, so data files stay human-editable and parsing revalidates the 1583..9999 domain.
*	cli: colitur easter <year> prints Easter and its anchors	Lukasz Kasprzak	2026-07-31	1	-0/+3
\| \| \| \| \|	Argv-parsed subcommand; validates the 1583..9999 domain (exit 2 otherwise); prints 'name YYYY-MM-DD' lines. Cram test covers the output and the exit codes.
*	chore: scaffold dune project (kernel lib + cli + tests)	Lukasz Kasprzak	2026-07-31	1	-0/+3
	OCaml 5.2.0 local switch; colitur_kernel library, a colitur executable stub, and an alcotest+qcheck test runner. AGPL LICENSE, README, generated colitur.opam.