The Koka Programming Language

Added on 2023-08-14
Page: https://koka-lang.github.io/koka/doc/book.html
See on Internet Archive
#gc #lang #koka #effects

Provides an automatically expanding table-of-contents in a side-panel next to the main content. The TOC must be in a SidePanel block, while all the other content must be in a MainPanel.