reset a3, kut Charlie ;)

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

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