diff options
| author | aarne <aarne@chalmers.se> | 2011-11-30 10:54:05 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-11-30 10:54:05 +0000 |
| commit | d2b99a0607e99e4a2e031d34b9b59126ef4b1149 (patch) | |
| tree | 06f176b2fe0bc4bed8102ca048448f092dfa1550 /examples/phrasebook/WordsEng.gf | |
| parent | cac8f22129e37e307eb0633bb4556780196e67bf (diff) | |
added RGL-functorial concepts to Phrasebook
Diffstat (limited to 'examples/phrasebook/WordsEng.gf')
| -rw-r--r-- | examples/phrasebook/WordsEng.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/phrasebook/WordsEng.gf b/examples/phrasebook/WordsEng.gf index 96af50d07..49d922014 100644 --- a/examples/phrasebook/WordsEng.gf +++ b/examples/phrasebook/WordsEng.gf @@ -258,4 +258,12 @@ concrete WordsEng of Words = SentencesEng ** far_IAdv = ExtraEng.IAdvAdv (ss "far") ; +-------------------------------------------------- +-- New 30/11/2011 AR +-------------------------------------------------- + + lin + Thai = mkNat "Thai" "Thailand" ; + Baht = mkCN (mkN "baht" "baht") ; + } |