diff options
Diffstat (limited to 'src')
| -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 |