From 9c0a755767da935dce6bfdaed2f7e11cfd30421a Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Fri, 31 Jul 2026 14:06:33 +0200 Subject: kernel(computus): Gregorian + Julian Easter Anonymous Gregorian (Meeus/Jones/Butcher) for OF+EF; Meeus Julian mapped to the proleptic-Gregorian date for future eastern rites. Verified vs known dates (2000/2024-27, 1583; Orthodox 2023/24) and EXHAUSTIVELY over 1583..9999: every Easter is a Sunday in [Mar22,Apr25]. --- lib/kernel/computus.mli | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 lib/kernel/computus.mli (limited to 'lib/kernel/computus.mli') diff --git a/lib/kernel/computus.mli b/lib/kernel/computus.mli new file mode 100644 index 0000000..dc8f215 --- /dev/null +++ b/lib/kernel/computus.mli @@ -0,0 +1,9 @@ +(** Ecclesiastical Easter. See docs/research/rules-register.md ยง0. + Both functions are total for a year in 1583..9999. *) + +(** Easter Sunday by the Gregorian reckoning (OF + EF). *) +val gregorian_easter : int -> Date.t + +(** Easter Sunday by the Julian reckoning, returned as the equivalent proleptic + Gregorian date (for future eastern rites; EF/OF use {!gregorian_easter}). *) +val julian_easter : int -> Date.t -- cgit v1.3