-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcopl128.ml
27 lines (27 loc) · 1.04 KB
/
copl128.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
if 4 < 5 then 2 + 3 else 8 * 8 evalto 5 by E-If{
4 < 5 >> {if _ then 2 + 3 else 8 * 8} evalto 5 by E-BinOp{
4 >> {_ < 5} >> {if _ then 2 + 3 else 8 * 8} evalto 5 by E-Int{
4 => {_ < 5} >> {if _ then 2 + 3 else 8 * 8} evalto 5 by C-EvalR{
5 >> {4 < _} >> {if _ then 2 + 3 else 8 * 8} evalto 5 by E-Int{
5 => {4 < _} >> {if _ then 2 + 3 else 8 * 8} evalto 5 by C-Lt{
4 less than 5 is true by B-Lt{};
true => {if _ then 2 + 3 else 8 * 8} evalto 5 by C-IfT{
2 + 3 >> _ evalto 5 by E-BinOp{
2 >> {_ + 3} >> _ evalto 5 by E-Int{
2 => {_ + 3} >> _ evalto 5 by C-EvalR{
3 >> {2 + _} >> _ evalto 5 by E-Int{
3 => {2 + _} >> _ evalto 5 by C-Plus{
2 plus 3 is 5 by B-Plus{};
5 => _ evalto 5 by C-Ret{}
}
}
}
}
}
}
}
}
}
}
}
}