From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples/dialogue/ResProlog.gf | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 examples/dialogue/ResProlog.gf (limited to 'examples/dialogue/ResProlog.gf') diff --git a/examples/dialogue/ResProlog.gf b/examples/dialogue/ResProlog.gf deleted file mode 100644 index ce3bbce4b..000000000 --- a/examples/dialogue/ResProlog.gf +++ /dev/null @@ -1,22 +0,0 @@ -resource ResProlog = open Prelude in { - - oper - bracket : Str -> Str = \s -> "[" ++ s ++ "]" ; - - app1 : Str -> Str -> Str = \f,x -> f ++ paren x ; - app2 : Str -> Str -> Str -> Str = \f,x,y -> f ++ paren (x ++ "," ++ y) ; - - apps : Str -> SS -> SS = \f,x -> ss (app1 f x.s) ; - - op1 : (s,x : Str) -> {s,x : Str} = \s,x -> {s = s ; x = x} ; - op2 : (s,x,y : Str) -> {s,x,y : Str} = \s,x,y -> {s = s ; x = x ; y = y} ; - - 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))] -- cgit v1.2.3