diff options
| author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-22 12:57:22 +0200 |
|---|---|---|
| committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-22 12:57:22 +0200 |
| commit | 027fc783faa9a25b373099e0e0f86d3859b7235d (patch) | |
| tree | 6cbd9265634c5ccc47d3c5b7bd00ede863affd20 /example/example2.imp | |
| parent | be21cdaa9f408535379360b401089c8e2335e818 (diff) | |
| download | imp-027fc783faa9a25b373099e0e0f86d3859b7235d.tar.gz imp-027fc783faa9a25b373099e0e0f86d3859b7235d.zip | |
updated readme
Diffstat (limited to 'example/example2.imp')
| -rw-r--r-- | example/example2.imp | 7 |
1 files changed, 0 insertions, 7 deletions
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 |