From 163108b9b3f07e1c467daaf157a7f4b44d8d87f6 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 13 Apr 2024 15:29:50 -0700
Subject: [PATCH] Add precedence to some language constructs

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 Language.agda | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Language.agda b/Language.agda
index d6f83f0..7ece4ea 100644
--- a/Language.agda
+++ b/Language.agda
@@ -38,6 +38,8 @@ data BasicStmt : Set where
     noop : BasicStmt
 
 infixr 2 _then_
+infix 3 while_repeat_
+infix 3 if_then_else_
 data Stmt : Set where
     ⟨_⟩ : BasicStmt → Stmt
     _then_ : Stmt → Stmt → Stmt