| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 07-Nov-2020 | - | ||||
| Data/ | H | 07-Nov-2020 | - | 274 | 107 | |
| Internal/ | H | 07-Nov-2020 | - | 670 | 331 | |
| Data.hs | H A D | 07-Nov-2020 | 1.9 KiB | 46 | 6 | |
| DataOnly.hs | H A D | 07-Nov-2020 | 782 | 21 | 6 | |
| Direct.hs | H A D | 07-Nov-2020 | 5.9 KiB | 171 | 56 | |
| Operations.hs | H A D | 07-Nov-2020 | 625 | 20 | 2 | |
| Typeable.hs | H A D | 07-Nov-2020 | 5.2 KiB | 150 | 79 | |
| Zipper.hs | H A D | 07-Nov-2020 | 4.7 KiB | 158 | 84 |