diff options
Diffstat (limited to 'src/Term/Semantics.idr')
| -rw-r--r-- | src/Term/Semantics.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Term/Semantics.idr b/src/Term/Semantics.idr index 2e61040..e8424f2 100644 --- a/src/Term/Semantics.idr +++ b/src/Term/Semantics.idr @@ -49,7 +49,7 @@ fullSem' (App (MakePair t u _)) = do t <- sem' t u <- sem' u pure (\ctx => t ctx (u ctx)) -fullSem' Zero = pure (const 0) +fullSem' (Lit n) = pure (const n) fullSem' (Suc t) = do t <- fullSem' t pure (S . t) |