From 626b6f758756b6fbba0e74fb3b8250fba1fec25f Mon Sep 17 00:00:00 2001
From: Eugene Akentyev <ak3ntev@gmail.com>
Date: Fri, 28 Oct 2016 02:07:58 +0500
Subject: [PATCH] Fix binary expr

---
 src/Expr.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Expr.agda b/src/Expr.agda
index ed60c25..a299064 100644
--- 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
-- 
2.50.1