HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Koka: Strongly typed functional-style language with effect types and handlers
koka-lang.github.io
92 comments
2 years ago
nateb2022
219 points
2.
▲
Koka: A functional language with effect types and handlers
koka-lang.github.io
discuss
6 years ago
Avi-D-coder
5 points
3.
▲
The Koka Programming Language
koka-lang.github.io
2 comments
5 years ago
telotortium
4 points
4.
▲
An Introduction to the Koka Programming Language
koka-lang.github.io
1 comment
9 years ago
adgasf
4 points
5.
▲
The Koka Programming Language
koka-lang.github.io
discuss
3 years ago
masfuerte
3 points
6.
▲
Koka: A fast functional programming language with algebraic effects
koka-lang.github.io
2 comments
3 years ago
helix278
2 points
7.
▲
The Koka Programming Language
koka-lang.github.io
1 comment
a year ago
ColinWright
2 points
8.
▲
A Tour of Koka (an elegant programming language with Algebraic Effects)
koka-lang.github.io
1 comment
5 years ago
isaacimagine
2 points
9.
▲
The Koka Programming Language
koka-lang.github.io
discuss
4 years ago
heijmans
2 points
10.
▲
Koka: A functional language with effect types and handlers
koka-lang.github.io
discuss
5 years ago
brokencode
2 points
11.
▲
The Koka Programming Language
koka-lang.github.io
discuss
3 years ago
beefman
1 points
12.
▲
The Koka Programming Language
koka-lang.github.io
discuss
5 years ago
rahimiali
1 points
13.
▲
UTC time scales and leap second support in the Koka programming language
koka-lang.github.io
discuss
7 years ago
fanf2
1 points
14.
▲
The Koka Book: An Introduction and Specification of the Koka Language
koka-lang.github.io
discuss
9 years ago
luisobo
1 points