| | The Koka Programming Language (koka-lang.github.io) |
| 2 points by ColinWright 35 days ago | past | 1 comment |
|
| | Koka: Strongly typed functional-style language with effect types and handlers (koka-lang.github.io) |
| 219 points by nateb2022 on Dec 29, 2023 | past | 92 comments |
|
| | Koka: A fast functional programming language with algebraic effects (koka-lang.github.io) |
| 2 points by helix278 on Nov 26, 2023 | past | 2 comments |
|
| | The Koka Programming Language (koka-lang.github.io) |
| 3 points by masfuerte on Sept 21, 2023 | past |
|
| | The Koka Programming Language (koka-lang.github.io) |
| 1 point by beefman on July 24, 2023 | past |
|
| | The Koka Programming Language (koka-lang.github.io) |
| 2 points by heijmans on Jan 23, 2022 | past |
|
| | The Koka Programming Language (koka-lang.github.io) |
| 1 point by rahimiali on Nov 28, 2021 | past |
|
| | The Koka Programming Language (koka-lang.github.io) |
| 4 points by telotortium on Aug 28, 2021 | past | 2 comments |
|
| | Koka: A functional language with effect types and handlers (koka-lang.github.io) |
| 2 points by brokencode on June 15, 2021 | past |
|
| | A Tour of Koka (an elegant programming language with Algebraic Effects) (koka-lang.github.io) |
| 2 points by isaacimagine on Feb 28, 2021 | past | 1 comment |
|
| | Koka: A functional language with effect types and handlers (koka-lang.github.io) |
| 5 points by Avi-D-coder on Dec 20, 2020 | past |
|
| | UTC time scales and leap second support in the Koka programming language (koka-lang.github.io) |
| 1 point by fanf2 on Jan 22, 2019 | past |
|
| | The Koka Book: An Introduction and Specification of the Koka Language (koka-lang.github.io) |
| 1 point by luisobo on Sept 3, 2017 | past |
|
| | An Introduction to the Koka Programming Language (koka-lang.github.io) |
| 4 points by adgasf on June 27, 2017 | past | 1 comment |
|
