diff options
Diffstat (limited to 'Semantic.hs')
| -rw-r--r-- | Semantic.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Semantic.hs b/Semantic.hs index b58eac3..b734a02 100644 --- a/Semantic.hs +++ b/Semantic.hs @@ -65,6 +65,8 @@ instance Show Var where instance Show Term where show (TVar a) = show a show (TConst a _) = show a + show (TApp (TApp eq lhs) rhs) + | isEq eq = "(" ++ (show lhs) ++ " = " ++ (show rhs) ++ ")" show (TApp a b) = "(" ++ (show a) ++ " " ++ (show b) ++ ")" show (TAbs a b) = "(\\" ++ (show a) ++ " -> " ++ (show b) ++ ")" |