Skip to content

Commit

Permalink
Revert "update documentation"
Browse files Browse the repository at this point in the history 
This reverts commit 32dcf35.
  • Loading branch information
@daanx
daanx committed Feb 15, 2024
1 parent 32dcf35 commit 4441162
Show file tree
Hide file tree
Showing 107 changed files with 22,063 additions and 835 deletions.
5,655 changes: 5,636 additions & 19 deletions doc/book.html
View file

Large diffs are not rendered by default.

1,459 changes: 1,425 additions & 34 deletions doc/index.html
View file

Large diffs are not rendered by default.

257 changes: 255 additions & 2 deletions doc/std_core-source.html
View file

Large diffs are not rendered by default.

22 changes: 9 additions & 13 deletions doc/std_core.html
View file

Large diffs are not rendered by default.

58 changes: 56 additions & 2 deletions doc/std_core_bool-source.html
View file

Large diffs are not rendered by default.

36 changes: 18 additions & 18 deletions doc/std_core_bool.html
View file

Large diffs are not rendered by default.

117 changes: 115 additions & 2 deletions doc/std_core_char-source.html
View file

Large diffs are not rendered by default.

48 changes: 24 additions & 24 deletions doc/std_core_char.html
View file

Large diffs are not rendered by default.

87 changes: 85 additions & 2 deletions doc/std_core_console-source.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/std_core_console.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ <h1 class="synopsis">Standard output to the console.

<p class="p noindent">Print a string to the console, including a final newline character.
</p></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_unsafe.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_string.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_show.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>show</span></span></a></span></span></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span></span></div></div>
</body>
</html>

Expand Down
89 changes: 87 additions & 2 deletions doc/std_core_debug-source.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/std_core_debug.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ <h1 class="synopsis">Core debugging functions.
<div class="decl" id="trace_any"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_debug-source.html#trace_any">trace<span class="dash">-</span>any</a></span>( <span class="tp tpp">message</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a>, <span class="tp tpp">x</span> <span class="tp sp">:</span>&nbsp;<span class="tp tv">a</span> ) <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp sp">)</span></div></div>
<div class="decl" id="trace_info"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_debug-source.html#trace_info">trace<span class="dash">-</span>info</a></span>( <span class="tp tpp">message</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a>, <span class="tp tpp"><span class="lq">?</span>kk<span class="dash">-</span>file<span class="dash">-</span>line</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a> ) <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp sp">)</span></div></div>
<div class="decl" id="trace_show"><div class="header code"><span class="def"><span class="kw">fun</span>&nbsp;<a class="link" href="std_core_debug-source.html#trace_show">trace<span class="dash">-</span>show</a></span>( <span class="tp tpp">x</span> <span class="tp sp">:</span>&nbsp;<span class="tp tv">a</span>, <span class="tp tpp"><span class="lq">?</span>show</span> <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp tv">a</span><span class="tp sp">)</span> <span class="tp kw op">-></span> <a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a>, <span class="tp tpp"><span class="lq">?</span>kk<span class="dash">-</span>file<span class="dash">-</span>line</span> <span class="tp sp">:</span>&nbsp;<a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#type_space_string"><span class="tp">string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types<span class="fslash last">/</span></span>string: <span class="co">V</span></span></a> ) <span class="tp sp">:</span>&nbsp;<span class="tp sp">(</span><span class="tp sp">)</span></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_unsafe.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_string.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>string</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_console.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>console</span></span></a></span></span></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span></span></div></div>
</body>
</html>

Expand Down
60 changes: 58 additions & 2 deletions doc/std_core_delayed-source.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion doc/std_core_delayed.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ <h1 class="synopsis">Delayed computations.
a total function that only calculates the value once and then
returns the cached result.
</p></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_unsafe.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>unsafe</span></span></a></span></span></div></div>
<div class="decl" id="-private-imports"><div class="header code"><span class="def"><span class="kw">private import</span>&nbsp;<span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_types.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>types</span></span></a></span>, <span class="code"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_hnd.html#_null_"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>hnd</span></span></a></span></span></div></div>
</body>
</html>

Expand Down
Loading

0 comments on commit 4441162

Please sign in to comment.