![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | good.split | 2025-01-02 11:53 | 1.1K | |
![]() | testfile-closure-1.koka | 2025-01-02 11:53 | 100 | |
![]() | testfile-closure-2.koka | 2025-01-02 11:53 | 114 | |
![]() | testfile-div-1.koka | 2025-01-02 11:53 | 35 | |
![]() | testfile-div-2.koka | 2025-01-02 11:53 | 74 | |
![]() | testfile-effect-1.koka | 2025-01-02 11:53 | 102 | |
![]() | testfile-effect-2.koka | 2025-01-02 11:53 | 120 | |
![]() | testfile-effect-3.koka | 2025-01-02 11:53 | 82 | |
![]() | testfile-effect-4.koka | 2025-01-02 11:53 | 121 | |
![]() | testfile-for-1.koka | 2025-01-02 11:53 | 37 | |
![]() | testfile-main-1.koka | 2025-01-02 11:53 | 16 | |
![]() | testfile-main-2.koka | 2025-01-02 11:53 | 17 | |
![]() | testfile-repeat-1.koka | 2025-01-02 11:53 | 33 | |
![]() | testfile-return-1.koka | 2025-01-02 11:53 | 59 | |
![]() | testfile-return-2.koka | 2025-01-02 11:53 | 47 | |
![]() | testfile-scope-1.koka | 2025-01-02 11:53 | 41 | |
![]() | testfile-while-1.koka | 2025-01-02 11:53 | 43 | |