koka-lang.org is down · koka-lang koka · Discussion #718 · GitHub

kuchta
May 26, 2025

I've found out yesterday and it's still unreachable

Replies: 1 comment 2 replies

TimWhiting
May 26, 2025
Collaborator

https://koka-lang.github.io/koka/doc/book.html

2 replies

kuchta May 26, 2025
Author

Thank you, Tim. 👍🏻 IDKW, but my browser remembered the other domain...

TimWhiting May 26, 2025
Collaborator

No problem :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment