update news/new release

koka-lang · May 31, 2024 · 287b8e8 · 287b8e8
1 parent 0519668
commit 287b8e8
Show file tree

Hide file tree

Showing 70 changed files with 2,208 additions and 2,070 deletions.
diff --git a/doc/book.html b/doc/book.html
diff --git a/doc/index.html b/doc/index.html
diff --git a/doc/std_core-source.html b/doc/std_core-source.html
diff --git a/doc/std_core_bool-source.html b/doc/std_core_bool-source.html
diff --git a/doc/std_core_bool.html b/doc/std_core_bool.html
diff --git a/doc/std_core_char-source.html b/doc/std_core_char-source.html
diff --git a/doc/std_core_char.html b/doc/std_core_char.html
diff --git a/doc/std_core_console-source.html b/doc/std_core_console-source.html
diff --git a/doc/std_core_debug-source.html b/doc/std_core_debug-source.html
diff --git a/doc/std_core_delayed-source.html b/doc/std_core_delayed-source.html
diff --git a/doc/std_core_delayed.html b/doc/std_core_delayed.html
@@ -15,7 +15,7 @@
 </head>
 
 <body class="koka doc body madoko">
-<h1><a class="link" href="https://koka-lang.github.io/koka/doc/std_core_delayed-source.html"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>delayed</span></a><a class="link" href="toc.html"><span class="toc-link">&#x25b2;toc</span></a></h1>
+<h1><a class="link" href="std_core_delayed-source.html"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>delayed</span></a><a class="link" href="toc.html"><span class="toc-link">&#x25b2;toc</span></a></h1>
 <div class="toc code"><ul class="toc"><li><a class="link" href="#type_space_delayed"><span class="kw">type</span>&nbsp;<span class="tp">delayed</span></a>
 </li><li class="nested"><a class="link" href="#delay"><span class="kw">fun</span>&nbsp;delay</a></li><li class="nested"><a class="link" href="#force"><span class="kw">fun</span>&nbsp;force</a></li><li>&nbsp;</li><li><a class="link" href="#once"><span class="kw">fun</span>&nbsp;once</a></li></ul></div>
 <div class="doc koka comment">
@@ -26,7 +26,7 @@ <h1 class="synopsis">Delayed computations.
 
 <p class="p noindent">.
 </p></div>
-<div class="decl" id="type_space_delayed"><div class="header code"><span class="def"><span class="kw">type</span>&nbsp;<span class="tp"><a class="pp" href="https://koka-lang.github.io/koka/doc/std_core_delayed-source.html#type_space_delayed"><span class="tp">delayed</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>delayed<span class="fslash last">/</span></span>delayed: <span class="tp sp">(</span><span class="co">E</span>, <span class="co">V</span>) <span class="kw op">-></span> <span class="co">V</span></span></a></span></span><span class="tp">&lt;<span class="tp tv">e</span>,<span class="tp tv">a</span>&gt;</span></div><div class="doc koka comment">
+<div class="decl" id="type_space_delayed"><div class="header code"><span class="def"><span class="kw">type</span>&nbsp;<span class="tp"><a class="pp" href="std_core_delayed-source.html#type_space_delayed"><span class="tp">delayed</span><span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>delayed<span class="fslash last">/</span></span>delayed: <span class="tp sp">(</span><span class="co">E</span>, <span class="co">V</span>) <span class="kw op">-></span> <span class="co">V</span></span></a></span></span><span class="tp">&lt;<span class="tp tv">e</span>,<span class="tp tv">a</span>&gt;</span></div><div class="doc koka comment">
 
 <p class="p noindent">Delayed (or <em class="em-low1">lazy</em>) values are computed (with effect <code class="koka"><span class="tp tv">e</span></code>) only the first time
 <code class="koka"><a class="pp" href="#force">force<span class="pc"><span class="mo">std<span class="fslash">/</span>core<span class="fslash">/</span>delayed<span class="fslash last">/</span></span>force: <span class="tp kw">forall</span><span class="tp sp">&#60;</span><span class="tp tv">a</span><span class="tp sp">,</span><span class="tp tv">e</span><span class="tp sp">&#62;</span> <span class="tp sp">(</span><span class="tp tpp">delayed</span> <span class="tp kw op">:</span> <span class="tp">delayed</span><span class="tp sp">&#60;</span><span class="tp tv">e</span><span class="tp sp">,</span><span class="tp tv">a</span><span class="tp sp">&#62;</span><span class="tp sp">)</span> <span class="tp kw op">-&gt;</span> <span class="tp tv">e</span> <span class="tp tv">a</span></span></a></code> is called and cached afterwards.
@@ -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="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="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="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>
 </body>
 </html>
 

diff --git a/doc/std_core_either-source.html b/doc/std_core_either-source.html