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 |