Skip to content

Rename preorder ~ relation reasoning combinators#2156

Merged
MatthewDaggitt merged 1 commit intomasterfrom
fix-preorder-reasoning-syntax
Oct 16, 2023
Merged

Rename preorder ~ relation reasoning combinators#2156
MatthewDaggitt merged 1 commit intomasterfrom
fix-preorder-reasoning-syntax

Commits

Commits on Oct 16, 2023