diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:06:33 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:06:33 +0200 |
| commit | 9c0a755767da935dce6bfdaed2f7e11cfd30421a (patch) | |
| tree | b17f429cdb8aeb4f3dfe628c162511de14d62faf /lib/kernel/computus.mli | |
| parent | cdb7ffe804ca19aee935af090f76c9eb83cbce14 (diff) | |
| download | colitur-9c0a755767da935dce6bfdaed2f7e11cfd30421a.tar.gz colitur-9c0a755767da935dce6bfdaed2f7e11cfd30421a.zip | |
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].
Diffstat (limited to 'lib/kernel/computus.mli')
| -rw-r--r-- | lib/kernel/computus.mli | 9 |
1 files changed, 9 insertions, 0 deletions
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 |