diff options
Diffstat (limited to 'example')
-rw-r--r-- | example/example.imp | 12 | ||||
-rw-r--r-- | example/example2.imp | 7 |
2 files changed, 0 insertions, 19 deletions
diff --git a/example/example.imp b/example/example.imp deleted file mode 100644 index a5bc5dd..0000000 --- a/example/example.imp +++ /dev/null @@ -1,12 +0,0 @@ -procedure factorial(n;r) begin - if n <= 0 then - r := 1; - else - m := n - 1; - factorial(m;r); - r := r * n; - end; -end; - -n := 5; -factorial(n;r);
\ No newline at end of file diff --git a/example/example2.imp b/example/example2.imp deleted file mode 100644 index 9db6655..0000000 --- a/example/example2.imp +++ /dev/null @@ -1,7 +0,0 @@ -(y := 0; -var x := 5 in - (while x < 10 do - x := (x + 1) - end; - y := x) -end)
\ No newline at end of file |