diff options
Diffstat (limited to 'src/Reducer.hs')
| -rw-r--r-- | src/Reducer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reducer.hs b/src/Reducer.hs index 0760a82..809687b 100644 --- a/src/Reducer.hs +++ b/src/Reducer.hs @@ -4,7 +4,7 @@ module Reducer import Helper --- TODO: Reduce variable -> later: only reduce main in non-repl +-- TODO: Research interaction nets and optimal reduction (<+>) :: Expression -> Int -> Expression (<+>) (Bruijn x ) n = if x > n then Bruijn (pred x) else Bruijn x |