koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

TOC documentation is incomplete #551

Open chtenb opened 3 weeks ago

chtenb commented 3 weeks ago

The following page entry exists: std/core/int But it is not listed in the TOC: https://koka-lang.github.io/koka/doc/toc.html

anfelor commented 2 weeks ago

It is listed at the bottom in the private import section alongside some other useful modules like std/core/vector. I agree that it would be nice to list it more prominently.

chtenb commented 2 weeks ago

What does private import mean, and why is listed differently than other modules?