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