diff options
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 |