Code

Unify ShiftInRange and Shift traits#183

Code

Merged

BinderDavid merged 3 commits intomainpolarity-lang/polarity:mainfrom simplify-shiftpolarity-lang/polarity:simplify-shiftCopy head branch name to clipboardApr 17, 2024

+111-62

Commits

Commits on Apr 16, 2024

• Unify ShiftInRange and Shift traits

  BinderDavid

  committed
  cee74da

  Copy full SHA for cee74da

• Add comments and tests for Shift trait

  BinderDavid

  committed
  54ae061

  Copy full SHA for 54ae061

Commits on Apr 17, 2024

• Add more comments

  BinderDavid

  committed
  8a35b80

  Copy full SHA for 8a35b80