diff options
| author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-20 21:29:50 +0200 |
|---|---|---|
| committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-20 21:29:50 +0200 |
| commit | 40cccdb7cc472ee6300c25e1774a8489e9107f6a (patch) | |
| tree | 7a4b0b37d8547a27b9964cd775bc0eb75d69288a /example | |
| parent | 56cd967554e39dd9053b2b28c1f603ae63808527 (diff) | |
| download | imp-40cccdb7cc472ee6300c25e1774a8489e9107f6a.tar.gz imp-40cccdb7cc472ee6300c25e1774a8489e9107f6a.zip | |
repl
Diffstat (limited to 'example')
| -rw-r--r-- | example/example.imp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/example/example.imp b/example/example.imp index e1ddf22..9db6655 100644 --- a/example/example.imp +++ b/example/example.imp @@ -1,4 +1,7 @@ -x := 1; -while x < 10 do - x := (x * 2) -end
\ No newline at end of file +(y := 0; +var x := 5 in + (while x < 10 do + x := (x + 1) + end; + y := x) +end)
\ No newline at end of file |