From d2b99a0607e99e4a2e031d34b9b59126ef4b1149 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 30 Nov 2011 10:54:05 +0000 Subject: added RGL-functorial concepts to Phrasebook --- examples/phrasebook/WordsEng.gf | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'examples/phrasebook/WordsEng.gf') 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") ; + } -- cgit v1.2.3