| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| concept.equiv/ | 04-Jul-2025 | - | 140 | 86 | ||
| concept.invocable/ | 04-Jul-2025 | - | 414 | 362 | ||
| concept.predicate/ | 04-Jul-2025 | - | 95 | 51 | ||
| concept.regularinvocable/ | 04-Jul-2025 | - | 461 | 408 | ||
| concept.relation/ | 04-Jul-2025 | - | 121 | 73 | ||
| concept.strictweakorder/ | 04-Jul-2025 | - | 138 | 84 |