diff options
| author | Marvin Borner | 2024-03-18 11:27:35 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-18 11:27:35 +0100 |
| commit | 41ea5dc7651380b7f31955819b5dc0b8256f3ef4 (patch) | |
| tree | 64b68cf13b9b71874ce3125f677da158818a8ce9 /src/Helper.hs | |
| parent | e8a440a0b717621cce239499be22ea038a0093f5 (diff) | |
Minor orthographic improvements
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 edd9b09..695d63f 100644 --- a/src/Helper.hs +++ b/src/Helper.hs @@ -407,7 +407,7 @@ decimalToUnary n | n < 0 = decimalToUnary 0 gen 0 = Bruijn 0 gen n' = Application (Bruijn 1) (gen (n' - 1)) --- Decimal to De Bruijn encoding +-- Decimal to de Bruijn encoding decimalToDeBruijn :: Integer -> Expression decimalToDeBruijn n | n < 0 = decimalToDeBruijn 0 | otherwise = gen n |