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 ddf2439..7ba5845 100644 --- a/src/Reducer.hs +++ b/src/Reducer.hs @@ -24,7 +24,7 @@ import Helper bind :: Expression -> Expression -> Int -> Expression bind e (Bruijn x ) n = if x == n then e else Bruijn x bind e (Application e1 e2) n = Application (bind e e1 n) (bind e e2 n) -bind e (Abstraction exp' ) n = Abstraction (bind (e <-> (-1)) exp' (succ n)) +bind e (Abstraction exp' ) n = Abstraction $ bind (e <-> (-1)) exp' (succ n) bind _ _ _ = error "invalid" step :: Expression -> Expression |