- commit
- 626b6f7
- parent
- d364ed6
- author
- Eugene Akentyev
- date
- 2016-10-28 01:07:58 +0400 +04
Fix binary expr
1 files changed,
+1,
-1
+1,
-1
1@@ -12,5 +12,5 @@ data BinOp : Set where
2
3 data Expr : Set where
4 var : Variable → Expr
5- binary : BinOp → Variable → Variable → Expr
6+ binary : BinOp → Expr → Expr → Expr
7 constant : Variable.Value → Expr