summaryrefslogtreecommitdiff
path: root/examples/dialogue/ResGodis.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/dialogue/ResGodis.gf')
-rw-r--r--examples/dialogue/ResGodis.gf18
1 files changed, 0 insertions, 18 deletions
diff --git a/examples/dialogue/ResGodis.gf b/examples/dialogue/ResGodis.gf
deleted file mode 100644
index f6d998d1b..000000000
--- a/examples/dialogue/ResGodis.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-resource ResGodis = open Prelude in {
-
- oper
- bracket : Str -> Str = \s -> "[" ++ s ++ "]" ;
-
- app1 : Str -> Str -> Str = \f,x -> f ++ paren x ;
-
- apps : Str -> SS -> SS = \f,x -> ss (app1 f x.s) ;
-
- request : Str -> Str = app1 "request" ;
- answer : Str -> Str = app1 "answer" ;
-
- req_ans : Str -> Str -> Str -> Str = \f,t,k ->
- bracket (request f ++ "," ++ answer (app1 t k)) ;
-
-}
-
--- [request(add_event), answer(event_to_store(meeting))]