From d004cb6f365da1995a3c8b8c2151e2b02706d011 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sandro=20Lovni=C4=8Dki?= Date: Tue, 28 Aug 2018 16:40:22 +0200 Subject: [PATCH] import/binary.plam: [irrelevant] comment fixes --- import/binary.plam | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/import/binary.plam b/import/binary.plam index 46419c5..8fb09bd 100644 --- a/import/binary.plam +++ b/import/binary.plam @@ -68,10 +68,10 @@ subBe = \x y. subB0e x y F -- variant substraction forkS = \x y c. (and (isEnd x) (isEnd y)) (c (pair numZ end) end) ((isEnd x) (pair numZ end) ((isEnd y) (pair (xor3 (fst x) F c) (f (snd x) end (carryS (fst x) F c))) (pair (xor3 (fst x) (fst y) c) (f (snd x) (snd y) (carryS (fst x) (fst y) c))))) --- E = c (pair numZ end) end --- A = pair numZ end +-- E1 = end +-- E2 = end -- B = pair (xor3 (fst x) F c) (f (snd x) end (carryS (fst x) F c)) --- C = pair (xor3 (fst x) (fst y) c) (f (snd x) (snd y) (carryS (fst x) (fst y) c)) +-- D = pair (xor3 (fst x) (fst y) c) (f (snd x) (snd y) (carryS (fst x) (fst y) c)) -- whether a binary numeral has numZ bit hasZ = Y (\f. \x. (isEnd x) F ((isNumZ (fst x)) T (f (snd x))))