diff options
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf index a5249d3ca..18bf88144 100644 --- a/examples/phrasebook/Sentences.gf +++ b/examples/phrasebook/Sentences.gf @@ -85,8 +85,6 @@ abstract Sentences = Numeral ** { The, Thes : Kind -> Item ; -- the pizza, the pizzas AmountCurrency : Numeral -> Currency -> Price ; -- five euros - HowMuchCost : Item -> Question ; -- how much does the pizza cost - ItCost : Item -> Price -> Proposition ; -- the pizza costs five euros ThePlace : PlaceKind -> Place ; -- the bar |