From c37c01175a8ee90d5ac39d0b4dbe8c0fbe5c3929 Mon Sep 17 00:00:00 2001 From: Pepijn de Vos Date: Tue, 5 Nov 2024 13:11:33 +0100 Subject: [PATCH] fix double negative --- paper/HVM2.typst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paper/HVM2.typst b/paper/HVM2.typst index 472d39c0..c11b9293 100644 --- a/paper/HVM2.typst +++ b/paper/HVM2.typst @@ -899,7 +899,7 @@ parallelism, ensuring that every work that *can* be done in parallel *will* be done in parallel. In other words, it maximizes the theoretical speedup, per Amdahl's law. The atomic linking procedure ensures that points of synchronization that emerge from the original program are solved safely and -efficiently, without no room for race conditions. Finally, the strong confluence +efficiently, without any room for race conditions. Finally, the strong confluence property ensures that the total work done is independent of the order that redexes are computed, giving us freedom to evaluate in parallel without generating extra work.