diff --git a/main.py b/main.py index b57cfb03d2768d8f9f1924fbc579395a5fd0b3d7..b46af5d5a91aef57117c690d8df8ba632b4c0f8a 100644 --- a/main.py +++ b/main.py @@ -22,7 +22,8 @@ class Variable(LambdaTerm): def __init__(self, symbol): self.symbol = symbol - def __repr__(self): raise NotImplementedError + def __repr__(self): + return f"Variable('{self.symbol}')" def __str__(self): return str(self.symbol) @@ -57,4 +58,4 @@ class Application(LambdaTerm): def reduce(self): raise NotImplementedError -print(str(Variable('x'))) \ No newline at end of file +print(repr(Variable('x'))) \ No newline at end of file