repositories / clean-tests.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
.
[clean-tests.git] / expr / exist / whileRep.dcl
diff --git a/expr/exist/whileRep.dcl b/expr/exist/whileRep.dcl
deleted file mode 100644 (file)
index 2fdea00..0000000
--- a/expr/exist/whileRep.dcl
+++ /dev/null
@@ -1,10 +0,0 @@
-definition module whileRep
-
-import while
-
-:: WRep = WRepeat WhileExpr Until WhileBool
-:: Until = Until
-
-Repeat e Until b :== WExpr (WRepeat e Until b)
-
-instance eval WRep