strings.acg 1.86 KB
Newer Older
1 2 3 4 5 6
(**************************************************************************)
(*                                                                        *)
(*                 ACG development toolkit                                *)
(*                                                                        *)
(*                  Copyright 2008 INRIA                                  *)
(*                                                                        *)
7
(*  More information on "http://acg.gforge.inria.fr/"                     *)
8 9 10 11 12 13 14 15 16 17 18 19
(*  License: CeCILL, see the LICENSE file or "http://www.cecill.info"     *)
(*  Authors: see the AUTHORS file                                         *)
(*                                                                        *)
(*                                                                        *)
(*                                                                        *)
(*                                                                        *)
(*  $Rev::                              $:  Revision of last commit       *)
(*  $Author::                           $:  Author of last commit         *)
(*  $Date::                             $:  Date of last commit           *)
(*                                                                        *)
(**************************************************************************)

20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
signature strings =
	s:type ;
	string = s->s : type;
	infix + = lambda g f x.g(f x) : string -> string -> string;

(*	string: type;
	infix + : string -> string -> string; *)

	E = lambda x.x:string;

	infix ! : string -> string -> string;
	prefix " : string -> string;

	every,dog,chases,a,cat,sleeps,slowly,new,big,black,seems,John,Mary,Bill,Paul,Kim,Dana,Chris,
	Sandy,everyone,someone,everybody,somebody,
	claims,loves,to,love,who,said,liked,does,think,thinks,thought,likes,wondered,whether,what,barked:string;
end