From d8cd006a80b118c07c0db6b6ad5270d23bc7729a Mon Sep 17 00:00:00 2001 From: DKormann Date: Thu, 24 Oct 2024 18:33:48 +0200 Subject: [PATCH 1/3] paper Switch 2 typo fix --- paper/HVM2.typst | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/paper/HVM2.typst b/paper/HVM2.typst index 472d39c0..e5e965e6 100644 --- a/paper/HVM2.typst +++ b/paper/HVM2.typst @@ -315,7 +315,12 @@ $ ], [ #smallcaps[(#strong[swit]ch 2)] - #math.frac(`#n+1 ~ ?(A B)`, `A ~ (* (#n B))`) + #math.frac(`#n+1 ~ ?(A B)`, + ``` + A ~ (* x) + # ~ (x B) + ``` + ) ], ) #v(2em) From 7d7c5ed77b6751046fb5b5e5259c855f86be3b13 Mon Sep 17 00:00:00 2001 From: DKormann Date: Thu, 24 Oct 2024 23:09:02 +0200 Subject: [PATCH 2/3] fix --- paper/HVM2.typst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paper/HVM2.typst b/paper/HVM2.typst index e5e965e6..74fa323b 100644 --- a/paper/HVM2.typst +++ b/paper/HVM2.typst @@ -318,7 +318,7 @@ $ #math.frac(`#n+1 ~ ?(A B)`, ``` A ~ (* x) - # ~ (x B) + #n ~ ?(x B) ``` ) ], From 6f6bcc042d7e266f23c09bc404119078a0eb8388 Mon Sep 17 00:00:00 2001 From: DKormann Date: Thu, 24 Oct 2024 23:11:12 +0200 Subject: [PATCH 3/3] style --- paper/HVM2.typst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/paper/HVM2.typst b/paper/HVM2.typst index 74fa323b..71f7d40e 100644 --- a/paper/HVM2.typst +++ b/paper/HVM2.typst @@ -315,7 +315,8 @@ $ ], [ #smallcaps[(#strong[swit]ch 2)] - #math.frac(`#n+1 ~ ?(A B)`, + #math.frac( + `#n+1 ~ ?(A B)`, ``` A ~ (* x) #n ~ ?(x B)