K koka-lang.github.io Koka: Strongly typed functional-style language with effect types and handlers 219 points nateb2022 2 years ago 92 comments
