diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-05 16:18:23 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-05 16:18:23 +0000 |
| commit | 51ac00a9872c92b38676356ec116446b2ef7ebf0 (patch) | |
| tree | 9b2dd2d6fdabd9fc190a2356a6c3bd125f75c67e /src/GF/GFCC/GFCC.cf | |
| parent | 2905d5552c1530185609fe892e0e9e2c4994ca1d (diff) | |
documented new GFCC
Diffstat (limited to 'src/GF/GFCC/GFCC.cf')
| -rw-r--r-- | src/GF/GFCC/GFCC.cf | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/GF/GFCC/GFCC.cf b/src/GF/GFCC/GFCC.cf index 23ee38e58..861e68f73 100644 --- a/src/GF/GFCC/GFCC.cf +++ b/src/GF/GFCC/GFCC.cf @@ -29,11 +29,11 @@ Lin. LinDef ::= CId "=" Term ; DTyp. Type ::= "[" [Hypo] "]" CId [Exp] ; -- dependent type DTr. Exp ::= "[" "(" [CId] ")" Atom [Exp] "]" ; -- term with bindings -AC. Atom ::= CId ; -AS. Atom ::= String ; -AI. Atom ::= Integer ; -AF. Atom ::= Double ; -AM. Atom ::= "?" Integer ; +AC. Atom ::= CId ; +AS. Atom ::= String ; +AI. Atom ::= Integer ; +AF. Atom ::= Double ; +AM. Atom ::= "?" Integer ; R. Term ::= "[" [Term] "]" ; -- record/table P. Term ::= "(" Term "!" Term ")" ; -- projection/selection |