leesongun/SuperCombinatorics - Change SWTKQH3NQH23WNI5LLZM7XW4QDHG3XHJ552DPVXUHAZO236SPHRQC

tidy imports; more aligned condition

Created by leesongun on March 9, 2023

SWTKQH3NQH23WNI5LLZM7XW4QDHG3XHJ552DPVXUHAZO236SPHRQC

Dependencies

[2] ZAH4MBPK5B5DHU5PCSCLDF2RLF3SBPJCZ7VUHT6M73NT6TFWNAIAC

In channels

main

Change contents

Deletion in Data/SPlactic.idr at line 2 [2.37]
B:BD[2.59] → [2.59:81]
```
import Data.SnocList
```
Replacement in Data/SPlactic.idr at line 8 [2.37]
B:BD[2.208] → [2.208:237]
```
    else if z >= x && z < y 
```
[2.208]
[2.237]
```
    else if x <= z && y > z
```