repositories / clean-tests.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
-
[clean-tests.git] / expr / exist / existFor.dcl
diff --git a/expr/exist/existFor.dcl b/expr/exist/existFor.dcl
deleted file mode 100644 (file)
index 3369ada..0000000
--- a/expr/exist/existFor.dcl
+++ /dev/null
@@ -1,10 +0,0 @@
-definition module whileFor
-
-import while
-
-:: WFor = WFor String Is WhileInt To WhileInt Do WhileExpr
-
-(*.) infixl 7
-(*.) a b :== WInt (WMult a b)
-
-instance evali WMult