search

daypack-dev / timere

OCaml date time handling and reasoning suite
MIT License
68 stars 7 forks source link

Contextual equivalence #4

Open darrenldl opened 3 years ago

darrenldl commented 3 years ago

From discussion with @Drup 

∀ f : t -> t.
if ∀ timezone. resolve x1 = resolve x2 then
   ∀ timezone. resolve (f x1) = resolve (f x2)