Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file removed assets/deed-v0.2.4-wasm32-unknown-unknown.wasm
Binary file not shown.
Binary file added assets/deed-v0.2.5-wasm32-unknown-unknown.wasm
Binary file not shown.
4 changes: 2 additions & 2 deletions assets/errors.js
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@
// artifact carries all of them, so this page cannot document a code the
// compiler does not have, or miss one it does.

const TAG = "v0.2.4";
const VERSION = "0.2.4";
const TAG = "v0.2.5";
const VERSION = "0.2.5";
const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;

const STATUS = document.getElementById("status");
Expand Down
4 changes: 2 additions & 2 deletions assets/play.js
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@
// release, because a release asset cannot be fetched from a browser at all:
// both the download URL and the API one redirect to a host that sends no
// `Access-Control-Allow-Origin`. See decisions/2026-07-31-no-build-step.md.
const TAG = "v0.2.4";
const VERSION = "0.2.4";
const TAG = "v0.2.5";
const VERSION = "0.2.5";
const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;

const SOURCE = document.getElementById("source");
Expand Down
2 changes: 1 addition & 1 deletion examples/index.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"tag": "v0.2.4",
"tag": "v0.2.5",
"examples": [
{
"file": "calculator.deed",
Expand Down
32 changes: 16 additions & 16 deletions install/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ <h1>Install</h1>
</p>

<!--
Every `deed 0.2.4` below is the output of that binary on that
Every `deed 0.2.5` below is the output of that binary on that
platform, printed by the release workflow, which refuses to publish
when a binary disagrees with its tag. The program output further down
was produced by running the released Windows build.
Expand All @@ -83,15 +83,15 @@ <h2>Take the file for your machine</h2>
<tbody>
<tr>
<td>Linux, 64-bit Intel or AMD</td>
<td><code>deed-v0.2.4-x86_64-unknown-linux-gnu.tar.gz</code></td>
<td><code>deed-v0.2.5-x86_64-unknown-linux-gnu.tar.gz</code></td>
</tr>
<tr>
<td>macOS, Apple silicon</td>
<td><code>deed-v0.2.4-aarch64-apple-darwin.tar.gz</code></td>
<td><code>deed-v0.2.5-aarch64-apple-darwin.tar.gz</code></td>
</tr>
<tr>
<td>Windows, 64-bit</td>
<td><code>deed-v0.2.4-x86_64-pc-windows-msvc.zip</code></td>
<td><code>deed-v0.2.5-x86_64-pc-windows-msvc.zip</code></td>
</tr>
</tbody>
</table>
Expand All @@ -110,23 +110,23 @@ <h2>Unpack it and ask it what it is</h2>
</p>

<h3>Linux</h3>
<pre class="code"><code>$ tar xzf deed-v0.2.4-x86_64-unknown-linux-gnu.tar.gz
$ ./deed-v0.2.4-x86_64-unknown-linux-gnu/deed --version
deed 0.2.4</code></pre>
<pre class="code"><code>$ tar xzf deed-v0.2.5-x86_64-unknown-linux-gnu.tar.gz
$ ./deed-v0.2.5-x86_64-unknown-linux-gnu/deed --version
deed 0.2.5</code></pre>

<h3>macOS</h3>
<pre class="code"><code>$ tar xzf deed-v0.2.4-aarch64-apple-darwin.tar.gz
$ xattr -d com.apple.quarantine deed-v0.2.4-aarch64-apple-darwin/deed
$ ./deed-v0.2.4-aarch64-apple-darwin/deed --version
deed 0.2.4</code></pre>
<pre class="code"><code>$ tar xzf deed-v0.2.5-aarch64-apple-darwin.tar.gz
$ xattr -d com.apple.quarantine deed-v0.2.5-aarch64-apple-darwin/deed
$ ./deed-v0.2.5-aarch64-apple-darwin/deed --version
deed 0.2.5</code></pre>
<p>
The middle line is not optional and it is explained below.
</p>

<h3>Windows</h3>
<pre class="code"><code>&gt; Expand-Archive deed-v0.2.4-x86_64-pc-windows-msvc.zip .
&gt; .\deed-v0.2.4-x86_64-pc-windows-msvc\deed.exe --version
deed 0.2.4</code></pre>
<pre class="code"><code>&gt; Expand-Archive deed-v0.2.5-x86_64-pc-windows-msvc.zip .
&gt; .\deed-v0.2.5-x86_64-pc-windows-msvc\deed.exe --version
deed 0.2.5</code></pre>

<h2>What your operating system will say about it</h2>
<p>
Expand Down Expand Up @@ -162,7 +162,7 @@ <h2>Where to put it</h2>
itself. To type <code>deed</code> instead of a path, move it onto
yours:
</p>
<pre class="code"><code>$ sudo mv deed-v0.2.4-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
<pre class="code"><code>$ sudo mv deed-v0.2.5-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
<p>
On Windows, put the folder on <code>Path</code> through Settings, or
keep using the full path. Nothing on this page needs it on
Expand Down Expand Up @@ -218,7 +218,7 @@ <h2>When it does not work</h2>
<code>./</code>, or move it as above.
</dd>

<dt><code>--version</code> prints something other than 0.2.4</dt>
<dt><code>--version</code> prints something other than 0.2.5</dt>
<dd>
You are running a different <code>deed</code> than the one you
unpacked. <code>which deed</code> says which.
Expand Down
4 changes: 2 additions & 2 deletions one-clause/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -201,14 +201,14 @@ <h2 data-step="Now take the first one and add `Io.save` to it, and watch the com
<nav class="next" aria-label="Open in the playground">
<a
class="card"
href="../play/#0.2.4/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
href="../play/#0.2.5/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
>
<strong>read_only.deed</strong>
<span>The one a host without `Io.save` will run.</span>
</a>
<a
class="card"
href="../play/#0.2.4/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
href="../play/#0.2.5/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
>
<strong>read_write.deed</strong>
<span>The one it will not.</span>
Expand Down