aboutsummaryrefslogtreecommitdiff
path: root/example/example2.imp
diff options
context:
space:
mode:
Diffstat (limited to 'example/example2.imp')
-rw-r--r--example/example2.imp7
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