From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/dialogue/ResProlog.gf | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 old-examples/dialogue/ResProlog.gf (limited to 'old-examples/dialogue/ResProlog.gf') diff --git a/old-examples/dialogue/ResProlog.gf b/old-examples/dialogue/ResProlog.gf deleted file mode 100644 index ce3bbce4b..000000000 --- a/old-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