| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Oct-2021 | - | ||||
| meta.unary.cat/ | H | 12-Oct-2021 | - | 2,454 | 1,758 | |
| meta.unary.comp/ | H | 12-Oct-2021 | - | 1,528 | 1,029 | |
| meta.unary.prop/ | H | 12-Oct-2021 | - | 4,271 | 2,985 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Oct-2021 | - | ||||
| meta.unary.cat/ | H | 12-Oct-2021 | - | 2,454 | 1,758 | |
| meta.unary.comp/ | H | 12-Oct-2021 | - | 1,528 | 1,029 | |
| meta.unary.prop/ | H | 12-Oct-2021 | - | 4,271 | 2,985 |