4 ms·
When I google for "koka effekt" I get pages in German about the effects of cocain. They should maybe reconsider the "Koka" part of the project name?
by afroisalreadyin 3y ago
When I google for "koka effekt" I get pages in German about the effects of cocain. They should maybe reconsider the "Koka" part of the project name?
- anfelor 3y agoThese are two different languages, see https://effekt-lang.org/ https://effekt-lang.org/ and https://koka-lang.github.io/koka/doc/index.html https://koka-lang.github.io/koka/doc/index.html -- although I believe that the FP^2 work mentioned by OP currently only works in Koka (and perhaps soon in Lean; https://leanprover.github.io/ https://leanprover.github.io/)
- di4na 3y agoIndeed. That said i am slowly writing my own language that will probably use ideas from both :D