@@ -13,7 +13,6 @@ data so : Bool -> Type where oh : so True
14-- Syntaxtic sugar for boolean elimination.
14-- Syntaxtic sugar for boolean elimination.
15syntax if [test] then [t] else [e] = boolElim test t e
15syntax if [test] then [t] else [e] = boolElim test t e
16−syntax [test] "?" [t] ":" [e] = if test then t else e
18-- Boolean Operator Precedence
17-- Boolean Operator Precedence
19infixl 4 &&, ||
18infixl 4 &&, ||