| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| concept.equiv/ | 06-Sep-2024 | - | 140 | 86 | ||
| concept.invocable/ | 06-Sep-2024 | - | 414 | 362 | ||
| concept.predicate/ | 06-Sep-2024 | - | 95 | 51 | ||
| concept.regularinvocable/ | 06-Sep-2024 | - | 462 | 409 | ||
| concept.relation/ | 06-Sep-2024 | - | 121 | 73 | ||
| concept.strictweakorder/ | 06-Sep-2024 | - | 138 | 84 |