1 files changed, 13 insertions, 0 deletions
diff --git a/paper/While/Simple.dcl b/paper/While/Simple.dcl
new file mode 100644
index 0000000..5a08e85
--- /dev/null
+++ b/paper/While/Simple.dcl
@@ -0,0 +1,13 @@
+definition module Simple
+
+from StdOverloaded import class toString
+import WhileCommon
+
+:: Stm = Ass Var AExpr
+       | If BExpr Stm Stm
+       | While BExpr Stm
+       | Skip
+       | Compose Stm Stm
+
+instance toString Stm
+instance run Stm