Skip to content

Accept bare dates in temporal prefixes; restrict arithmetic to linear forms#62

Merged
rmichaelthomas merged 2 commits into
mainfrom
fix/temporal-prefix-and-arithmetic-linearity
Jul 20, 2026
Merged

Accept bare dates in temporal prefixes; restrict arithmetic to linear forms#62
rmichaelthomas merged 2 commits into
mainfrom
fix/temporal-prefix-and-arithmetic-linearity

fix: restrict multiplication and division to at most one runtime operand

c8c226d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar