![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| testfile-div-2.koka | 2024-10-29 22:11 | 74 | |
| testfile-scope-1.koka | 2024-10-29 22:11 | 41 | |
| testfile-return-1.koka | 2024-10-29 22:11 | 59 | |
| testfile-closure-2.koka | 2024-10-29 22:11 | 114 | |
| testfile-for-1.koka | 2024-10-29 22:11 | 37 | |
| testfile-main-2.koka | 2024-10-29 22:11 | 17 | |
| testfile-repeat-1.koka | 2024-10-29 22:11 | 33 | |
| testfile-main-1.koka | 2024-10-29 22:11 | 16 | |
| testfile-effect-4.koka | 2024-10-29 22:11 | 121 | |
| good.split | 2024-10-29 22:11 | 1.1K | |
| testfile-div-1.koka | 2024-10-29 22:11 | 35 | |
| testfile-return-2.koka | 2024-10-29 22:11 | 47 | |
| testfile-closure-1.koka | 2024-10-29 22:11 | 100 | |
| testfile-effect-1.koka | 2024-10-29 22:11 | 102 | |
| testfile-effect-3.koka | 2024-10-29 22:11 | 82 | |
| testfile-while-1.koka | 2024-10-29 22:11 | 43 | |
| testfile-effect-2.koka | 2024-10-29 22:11 | 120 | |