colitur.git/lib/kernel/date.mli, branch v0.5.0deterministic OCaml engine to compute and validate liturgical calendars for multiple rites, template-driven output to year 9999https://git.labunix.xyz/colitur.git/atom?h=v0.5.02026-08-11T09:15:18Zkernel(date): ISO-8601 rendering, validating parse, sexp converters2026-08-11T09:15:18ZLukasz Kasprzaklukas@labunix.xyz2026-08-11T09:15:18Zurn:sha1:d532c3b2cf941d2fe0c3c84f2c4090f14e869ef0
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 + arithmetic2026-07-31T12:04:22ZLukasz Kasprzaklukas@labunix.xyz2026-07-31T12:04:22Zurn:sha1:cdb7ffe804ca19aee935af090f76c9eb83cbce14
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.