diff options
| author | Marvin Borner | 2023-10-31 16:53:17 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-10-31 16:53:40 +0100 |
| commit | b89634f854cb726d1d23172ce2ead76425c5441c (patch) | |
| tree | 3b070e78253d913d4979911ccc3a2f966b524315 /src/Helper.hs | |
| parent | 60270724b2a422498ebcf7950a5e63c8ec8abdfa (diff) | |
Fixed flipped trits in comment
Diffstat (limited to 'src/Helper.hs')
| -rw-r--r-- | src/Helper.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Helper.hs b/src/Helper.hs index d47fc2a..83bf95d 100644 --- a/src/Helper.hs +++ b/src/Helper.hs @@ -319,7 +319,7 @@ humanifyPair e = do --- -- Dec to Bal3 in Bruijn encoding: reversed application with 0=>0; 1=>1; T=>2; end=>3 --- e.g. 0=0=[[[[3]]]]; 2=1T=[[[[2 (0 3)]]]] -5=T11=[[[[0 (0 (2 3))]]]] +-- e.g. 0=0=[[[[3]]]]; 2=1T=[[[[2 (1 3)]]]] -5=T11=[[[[1 (1 (2 3))]]]] decimalToTernary :: Integer -> Expression decimalToTernary n = Abstraction $ Abstraction $ Abstraction $ Abstraction $ gen n |