From 027fc783faa9a25b373099e0e0f86d3859b7235d Mon Sep 17 00:00:00 2001 From: Flavian Kaufmann Date: Thu, 22 May 2025 12:57:22 +0200 Subject: updated readme --- example/example2.imp | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 example/example2.imp (limited to 'example/example2.imp') 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 -- cgit v1.2.3