diff options
Diffstat (limited to 'examples/dialogue/ResGodis.gf')
| -rw-r--r-- | examples/dialogue/ResGodis.gf | 18 |
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))] |
