|
@@ -222,7 +222,7 @@ Condition
|
|
\inference{\Gamma \vdash b & \Gamma \vdash S_1 & \Gamma \vdash S_2}{\Gamma \vdash \<if>\ b\ \<then>\ S_1\ \<else>\ S_2}
|
|
\inference{\Gamma \vdash b & \Gamma \vdash S_1 & \Gamma \vdash S_2}{\Gamma \vdash \<if>\ b\ \<then>\ S_1\ \<else>\ S_2}
|
|
\]
|
|
\]
|
|
|
|
|
|
-Booleans
|
|
|
|
|
|
+As the booleans expressions can contain expressions which can contain variables, they are not necessarily well typed. Hence we need to define typing rules on booleans:
|
|
\[
|
|
\[
|
|
\inference{}{\Gamma \vdash \<true>}
|
|
\inference{}{\Gamma \vdash \<true>}
|
|
\]
|
|
\]
|