| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| Heap.hs | H A D | 15-Oct-2020 | 4 KiB | 168 | 99 | |
| Heap_Program.hs | H A D | 01-Sep-2018 | 4.8 KiB | 198 | 140 | |
| Heap_ProgramAlgebraic.hs | H A D | 27-Mar-2020 | 6.4 KiB | 255 | 176 | |
| Lambda.hs | H A D | 01-Sep-2018 | 8.8 KiB | 364 | 154 | |
| Merge.hs | H A D | 01-Sep-2018 | 1.9 KiB | 117 | 33 | |
| Set.hs | H A D | 24-Mar-2020 | 5.3 KiB | 214 | 138 | |
| Simple.hs | H A D | 01-Sep-2018 | 1.2 KiB | 47 | 20 |