| Name | Last modified | Size | Description |
|
| Parent Directory | | - | |
| good.split | 2025-01-02 11:53 | 1.1K | |
| testfile-semicolon-1.koka | 2025-01-02 11:53 | 84 | |
| testfile-body-1.koka | 2025-01-02 11:53 | 82 | |
| testfile-types-9.koka | 2025-01-02 11:53 | 60 | |
| testfile-trailing_lambda-2.koka | 2025-01-02 11:53 | 57 | |
| testfile-layout-4.koka | 2025-01-02 11:53 | 56 | |
| testfile-types-8.koka | 2025-01-02 11:53 | 54 | |
| testfile-types-6.koka | 2025-01-02 11:53 | 51 | |
| testfile-types-3.koka | 2025-01-02 11:53 | 51 | |
| testfile-trailing_lambda-1.koka | 2025-01-02 11:53 | 50 | |
| testfile-types-2.koka | 2025-01-02 11:53 | 48 | |
| testfile-types-4.koka | 2025-01-02 11:53 | 47 | |
| testfile-types-7.koka | 2025-01-02 11:53 | 46 | |
| testfile-types-5.koka | 2025-01-02 11:53 | 44 | |
| testfile-types-1.koka | 2025-01-02 11:53 | 44 | |
| testfile-ident-5.koka | 2025-01-02 11:53 | 44 | |
| testfile-ident-1.koka | 2025-01-02 11:53 | 38 | |
| testfile-ident-2.koka | 2025-01-02 11:53 | 37 | |
| testfile-ident-4.koka | 2025-01-02 11:53 | 34 | |
| testfile-ident-3.koka | 2025-01-02 11:53 | 31 | |
| testfile-layout-3.koka | 2025-01-02 11:53 | 24 | |
| testfile-layout-2.koka | 2025-01-02 11:53 | 22 | |
| testfile-layout-1.koka | 2025-01-02 11:53 | 22 | |
| testfile-main-1.koka | 2025-01-02 11:53 | 18 | |
| testfile-comment-1.koka | 2025-01-02 11:53 | 17 | |
|