Code

Added IsOrderFilter#707

Code

Merged

mtorpey merged 6 commits intodigraphs:maindigraphs/Digraphs:mainfrom zljlzljlz:pr/609zljlzljlz/Digraphs:pr/609Copy head branch name to clipboardNov 27, 2024

+55-6

Commits

Commits on Oct 30, 2024

• Added IsOrderFilter

  zljlzljlz

  committed
  00c762d

  Copy full SHA for 00c762d

• Update oper.gi

  zljlzljlz

  committed
  a44365b

  Copy full SHA for a44365b

• Fix some errors

  zljlzljlz

  committed
  621e672

  Copy full SHA for 621e672

Commits on Nov 6, 2024

• Added documentation and tests

  zljlzljlz

  committed
  f6d8649

  Copy full SHA for f6d8649

Commits on Nov 20, 2024

• Fixed typos wrt spaces

  zljlzljlz

  committed
  64b5c0f

  Copy full SHA for 64b5c0f

Commits on Nov 21, 2024

• Delete title.xml

  zljlzljlz

  committed
  b99a3f1

  Copy full SHA for b99a3f1