Merge branch 'master' of https://github.com/dopefishh/tt2015

[tt2015.git] / a3 / code / Gast / launch.dcl

diff --git a/a3/code/Gast/launch.dcl b/a3/code/Gast/launch.dcl
deleted file mode 100644 (file)
index 1c817d2..0000000
--- a/a3/code/Gast/launch.dcl
+++ /dev/null
@@ -1,6 +0,0 @@
-definition module launch\r
-\r
-::     PathAndApplication      :== String\r
-::     CommandlineArgs         :== String\r
-\r
-launch :: !PathAndApplication !CommandlineArgs !*World -> (!Bool,!Int,!*World)\r