Skip to content

Commit 08ae23f

Browse files
committed
Typos
1 parent db4c6d4 commit 08ae23f

File tree

2 files changed

+9
-6
lines changed

2 files changed

+9
-6
lines changed

slides/index.html

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2189,7 +2189,7 @@ <h1 id="a-conceptual-overview-of-modes"><a class="anchor" aria-hidden="true" hre
21892189
<li><em><span>and many more ...</span></em></li>
21902190
</ul>
21912191
<div pause></div>
2192-
<p><span>Modes provide safety and control to OxCaml: data-race freedom, safe control over memory allocation and layout.</span></p>
2192+
<p><span>Modes provide safety to OxCaml: data-race freedom, and memory safety</span></p>
21932193
<div up-at-unpause pause></div>
21942194
<h2 id="the-locality-axis"><a class="anchor" aria-hidden="true" href="#the-locality-axis"></a><span>The Locality Axis</span></h2>
21952195
<p><span>The locality axis has two modes: </span><code>local</code><span> and </span><code>global</code></p>
@@ -2280,7 +2280,7 @@ <h2 id="ocaml-5-introduced-a-new-class-of-error-data-races"><a class="anchor" ar
22802280
</code></pre>
22812281
<p><span>Resulting array: </span><code>[| &quot;gsym_1&quot;; &quot;gsym_1&quot; |]</code><span> Duplicate symbols? Unexpected!</span></p>
22822282
<div center-at-unpause pause></div>
2283-
<p><span>It is </span><em><span>unsafe</span></em><span> to run </span><code>gensym</code><span> on multiple domains, we want to statically prevent his from happening</span></p>
2283+
<p><span>It is </span><em><span>unsafe</span></em><span> to run </span><code>gensym</code><span> on multiple domains, we want to statically prevent this from happening</span></p>
22842284
<div pause></div>
22852285
<p><span>The code does not compile in OxCaml, but does in OCaml</span></p>
22862286
<div up-at-unpause pause></div>
@@ -2474,7 +2474,8 @@ <h1 id="activity"><a class="anchor" aria-hidden="true" href="#activity"></a><spa
24742474
<div up-at-unpause pause></div>
24752475
<h1 id="oxcaml-summary"><a class="anchor" aria-hidden="true" href="#oxcaml-summary"></a><span>OxCaml Summary </span><img style="float: right;" src="./assets/oxcaml-normal.svg" width="200px" height="200px" /></h1>
24762476
<div class="remark">
2477-
<p><span>We have programming activities for those who want to muck around</span></p>
2477+
<p><span>We have programming activities for those who want to muck around:</span></p>
2478+
<div style="display:grid; place-items:center;"><a href="https://github.com/oxcaml/tutorial-icfp25"><code>github.com/oxcaml/tutorial-icfp25</code></a></div>
24782479
<p><strong><span>OxCaml “office hours” daily:</span></strong><span> 3-4 @ the Jane Street booth</span><br/>
24792480
<em><span>Can’t make it?</span></em><span> Email me at </span><a href="mailto:[email protected]"><code>[email protected]</code></a></p>
24802481
</div>

slides/index.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -484,7 +484,7 @@ Example properties
484484

485485
{pause}
486486

487-
Modes provide safety and control to OxCaml: data-race freedom, safe control over memory allocation and layout.
487+
Modes provide safety to OxCaml: data-race freedom, and memory safety
488488

489489
{pause up}
490490

@@ -611,7 +611,7 @@ Resulting array: `[| "gsym_1"; "gsym_1" |]` Duplicate symbols? Unexpected!
611611

612612
{pause center}
613613

614-
It is *unsafe* to run `gensym` on multiple domains, we want to statically prevent his from happening
614+
It is *unsafe* to run `gensym` on multiple domains, we want to statically prevent this from happening
615615

616616
{pause}
617617

@@ -876,7 +876,9 @@ We’ve prepared a short activity to help you gauge your understanding of OxCaml
876876
# OxCaml Summary <img style="float: right;" src="./assets/oxcaml-normal.svg" width="200px" height="200px" />
877877

878878
{.remark}
879-
> We have programming activities for those who want to muck around
879+
> We have programming activities for those who want to muck around:
880+
>
881+
> <div style="display:grid; place-items:center;"><a href="https://github.com/oxcaml/tutorial-icfp25"><code>github.com/oxcaml/tutorial-icfp25</code></a></div>
880882
>
881883
> **OxCaml “office hours” daily:** 3-4 @ the Jane Street booth<br/>
882884
> *Can’t make it?* Email me at [`[email protected]`](mailto:[email protected])

0 commit comments

Comments
 (0)