temporal modalities as reactive type combinators

Last updated Dec 2, 2024