![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| EmptyListError.php | 2024-03-25 10:44 | 279 | |
| Listt.php | 2024-03-25 10:44 | 667 | |
| ListtCons.php | 2024-03-25 10:44 | 4.1K | |
| ListtNil.php | 2024-03-25 10:44 | 2.3K | |
| Num.php | 2024-03-25 10:44 | 527 | |
| Product.php | 2024-03-25 10:44 | 599 | |
| Stringg.php | 2024-03-25 10:44 | 962 | |
| Sum.php | 2024-03-25 10:44 | 595 | |
| TypeMismatchError.php | 2024-03-25 10:44 | 408 | |