Fix binary expr

diff --git a/src/Expr.agda b/src/Expr.agda
index ed60c255abbaac08e0515c12198ed1fedbb8ce5d..a2990645795fa9a4f2e02145580c2d29e448ca95 100644 (file)
--- a/src/Expr.agda
+++ b/src/Expr.agda
@@ -12,5 +12,5 @@ data BinOp : Set where
 
 data Expr : Set where
   var : Variable → Expr
-  binary : BinOp → Variable → Variable → Expr
+  binary : BinOp → Expr → Expr → Expr
   constant : Variable.Value → Expr