Code

Issue 49 remove exists forall#232

Code

Closed

nijanthanvijayakumar wants to merge 3 commits intomrpowers-io:mainmrpowers-io/quinn:mainfrom nijanthanvijayakumar:issue-49-remove-exists-forallnijanthanvijayakumar/quinn:issue-49-remove-exists-forallCopy head branch name to clipboard

-82

Commits

Commits on Jul 8, 2024

• Remove deprecated functions exists and forall

  Show description for 7110c45
  nijanthanvijayakumar

  committed
  7110c45

• Remove imported and unused Callable module to avoid ruff lint failure

  nijanthanvijayakumar

  committed
  9e32cfa

• Merge branch 'MrPowers:main' into issue-49-remove-exists-forall

  nijanthanvijayakumar

  authored
  ebfe482