Skip to content

Commit

Permalink
updates
Browse files Browse the repository at this point in the history
  • Loading branch information
@TimWhiting
TimWhiting committed May 18, 2024
1 parent a7f94ef commit f27dca0
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions koka-docs.kk.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,12 @@ This website has some updates to Koka's documentation with more information abou

[INCLUDE=less-known-features.kk.md]

[INCLUDE=best-practices.kk.md]

[INCLUDE=tips-for-debugging.kk.md]

[INCLUDE=known-rough-edges.kk.md]

[INCLUDE=other-doc-updates.kk.md]


Expand Down

0 comments on commit f27dca0

Please sign in to comment.