DanilaFe/agda-spa
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add precedence to some language constructs

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-04-13 15:29:50 -07:00
parent 8dc5c40eae
commit 163108b9b3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Language.agda
View File

@ -38,6 +38,8 @@ data BasicStmt : Set where
noop : BasicStmt noop : BasicStmt
infixr 2 _then_ infixr 2 _then_
infix 3 while_repeat_
infix 3 if_then_else_
data Stmt : Set where data Stmt : Set where
⟨_⟩ : BasicStmt → Stmt ⟨_⟩ : BasicStmt → Stmt
_then_ : Stmt → Stmt → Stmt _then_ : Stmt → Stmt → Stmt