diff options
| author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-20 14:18:59 +0200 |
|---|---|---|
| committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-20 14:18:59 +0200 |
| commit | 56cd967554e39dd9053b2b28c1f603ae63808527 (patch) | |
| tree | 1d89a38c46a929e162ed8c6b555a9f1684053650 /example | |
| parent | fbbe2f207a26b410d485c9dea07a22256a02d50b (diff) | |
| download | imp-56cd967554e39dd9053b2b28c1f603ae63808527.tar.gz imp-56cd967554e39dd9053b2b28c1f603ae63808527.zip | |
optionally omit parenthesis with sequential composition
Diffstat (limited to 'example')
| -rw-r--r-- | example/example.imp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/example/example.imp b/example/example.imp index d87c891..e1ddf22 100644 --- a/example/example.imp +++ b/example/example.imp @@ -1 +1,4 @@ -(x := 1; while x < 10 do x := (x * 2) end) +x := 1; +while x < 10 do + x := (x * 2) +end
\ No newline at end of file |