| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Compare.hs | D | 22-Nov-2023 | 1.6 KiB | 64 | 33 | |
| SortedToOrig.hs | D | 22-Nov-2023 | 580 | 30 | 22 | |
| test1.orig | D | 22-Nov-2023 | 76 KiB | 5,282 | 3,960 | |
| test1.sorted | D | 22-Nov-2023 | 62.7 KiB | 1,319 | 1,318 | |
| test2.orig | D | 22-Nov-2023 | 341.7 KiB | 23,918 | 17,937 | |
| test2.sorted | D | 22-Nov-2023 | 341.1 KiB | 5,979 | 5,978 |