README 2.47 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 37 38 39 40 41 42
We suppose that the executables are acgc and acg (they could have been
acgc.opt or acg.opt)

This directory provide the following files:

+ strings.acg : a file containing a very simple signature (with
definitions). You can use it as follows:

	acgc strings.acg

It will say that it correctly parse the file. You can also run:

	acgc -i strings.acg

then, on the prompt, enter the following term:
	every + dog ! chases + a + cat : string
it does not complain, or the term:
	lambda x. every + x : string -> string
But with the term:
	lambda x.every x : string -> string
you will have a typing error


43 44
+ montague.acg : a file containing a very simple signature that illustrates
(very basic) Montague semantics
45 46


47 48 49 50 51 52 53
+ montague-script : a file providing commands that you can run in acg.	
You can also run it with the following command:	
	
	acg montague-script

(press return after each command)

54 55 56 57 58 59
+ tag.acg : a file containing various signatures and lexicons to model
TAG in ACG. You can run acgc on it




60
+ tag-script : this file provides (commented) commands that you can run
61 62 63 64 65
in acg. You can also run it with the following command:

	acg tag-script

(press return after each command)