File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
29
29
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
30
30
refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
31
31
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32
- refs/heads/stable: 8e75c50729b6c0e4a88cdd2ab3a4a242412fda5d
32
+ refs/heads/stable: bb3231522677c6cd2e3e667f488a06b71f097eb8
33
33
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
34
34
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
35
35
refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e
Original file line number Diff line number Diff line change @@ -58,7 +58,8 @@ a Cell is to copy the bits in or out.
58
58
manages this through * runtime* checks. It is effectively a thread-unsafe
59
59
read-write lock.
60
60
61
- For more details see Dan Grossman's Existential Types for Imperative Languages:
61
+ For more details see Dan Grossman's * Existential Types for Imperative Languages* :
62
+
62
63
* [ paper] [ grossman-paper ] (Advanced)
63
64
* [ slides] [ grossman-slides ] (Simple)
64
65
You can’t perform that action at this time.
0 commit comments