tidy imports; more aligned condition

leesongun

Mar 9, 2023, 11:22 PM

SWTKQH3NQH23WNI5LLZM7XW4QDHG3XHJ552DPVXUHAZO236SPHRQC

Dependencies

• [2] ZAH4MBPK add test implementation of Plactic monoid

Change contents

• edit in Data/SPlactic.idr at line 2
  [2.59]→[2.59:81](∅→∅)
  −

  − import Data.SnocList
• replacement in Data/SPlactic.idr at line 8
  [2.208]→[2.208:237](∅→∅)
  − else if z >= x && z < y
  [2.208]

  [2.237]
  + else if x <= z && y > z