| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| expr.prim.general/ | 03-May-2024 | - | 308 | 245 | ||
| expr.prim.id/ | 03-May-2024 | - | 280 | 184 | ||
| expr.prim.lambda/ | 03-May-2024 | - | 1,635 | 1,221 | ||
| expr.prim.req/ | 03-May-2024 | - | 755 | 495 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| expr.prim.general/ | 03-May-2024 | - | 308 | 245 | ||
| expr.prim.id/ | 03-May-2024 | - | 280 | 184 | ||
| expr.prim.lambda/ | 03-May-2024 | - | 1,635 | 1,221 | ||
| expr.prim.req/ | 03-May-2024 | - | 755 | 495 |