DiffPhrasebook.gf « phrasebook « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/phrasebook/DiffPhrasebook.gf

blob: 27076323b80a662598afe062158d7ef88cfaacfc (plain)

interface DiffPhrasebook = open Syntax in {

oper
  want_V2 : V2 ;
  like_V2 : V2 ;
  cost_V2 : V2 ; -- it costs five euros
  cost_V  : V ;  -- how much does it cost

}