diff options
Diffstat (limited to 'example/example2.imp')
-rw-r--r-- | example/example2.imp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/example/example2.imp b/example/example2.imp new file mode 100644 index 0000000..9db6655 --- /dev/null +++ b/example/example2.imp @@ -0,0 +1,7 @@ +(y := 0; +var x := 5 in + (while x < 10 do + x := (x + 1) + end; + y := x) +end)
\ No newline at end of file |