| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| expr.prim.general/ | H | 25-Jun-2021 | - | 308 | 245 | |
| expr.prim.id/ | H | 08-Jul-2024 | - | 331 | 218 | |
| expr.prim.lambda/ | H | 29-Jan-2025 | - | 1,683 | 1,249 | |
| expr.prim.req/ | H | 29-Jan-2025 | - | 1,105 | 757 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| expr.prim.general/ | H | 25-Jun-2021 | - | 308 | 245 | |
| expr.prim.id/ | H | 08-Jul-2024 | - | 331 | 218 | |
| expr.prim.lambda/ | H | 29-Jan-2025 | - | 1,683 | 1,249 | |
| expr.prim.req/ | H | 29-Jan-2025 | - | 1,105 | 757 |