diff options
| author | aarne <aarne@chalmers.se> | 2010-11-10 17:01:12 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-11-10 17:01:12 +0000 |
| commit | bad36015d23f125ce2d3f1faedd5047aedb6c398 (patch) | |
| tree | cf2219e86d5a6d65b091ca26787e136f03510f20 /examples/attempto/Attempto.gf | |
| parent | 41df4e00ff7423100ac3d3f64753af1be652767f (diff) | |
lib/amharic by Markos Kassa Gobena
Diffstat (limited to 'examples/attempto/Attempto.gf')
| -rw-r--r-- | examples/attempto/Attempto.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf index 0020973ce..0a58ae398 100644 --- a/examples/attempto/Attempto.gf +++ b/examples/attempto/Attempto.gf @@ -254,6 +254,8 @@ fun impVP : VP -> Text ; -- go to the bank! fun numeralCard : Numeral -> Card ; -- fifteen banks fun digitsCard : Digits -> Card ; -- 8 banks fun have_V2 : V2 ; -- has (an apple) +fun v2_byVP : V2 -> NP -> VP ; -- is bought by a customer + } |