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(date): ISO-8601 rendering, validating parse, sexp converters	Lukasz Kasprzak	2026-08-11	1	-1/+24
\| \| \| \| \| \| \|	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.
*	kernel(date): proleptic Gregorian date, validated make + arithmetic	Lukasz Kasprzak	2026-07-31	1	-0/+58
	Hinnant civil<->days rep (1970-epoch rata die); make validates month/day and the 1583..9999 domain; of_rata/add_days are total arithmetic. Weekday, compare. Tested: known weekdays, leap boundaries, rejects; qcheck round-trip / add-inverse / weekday-cycle properties over random in-range dates.