![[ICO]](/public/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/public/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/public/theme/icons/default.png){kind=icon} | haskel.o | 2024-01-01 20:31 | 3.5K |
| haskel.hs | 2024-01-01 20:31 | 44 |
| haskel.hi | 2024-01-01 20:31 | 796 |
| haskel | 2024-01-01 20:31 | 1.1M |
| dodaj.o | 2024-01-01 20:31 | 5.6K |
| dodaj.hs | 2024-01-01 20:31 | 129 |
| dodaj.hi | 2024-01-01 20:31 | 948 |
| dodaj | 2024-01-01 20:31 | 1.4M |