summaryrefslogtreecommitdiff
path: root/examples/tutorial/resource-foods/LexFoods.gf
blob: 0c88eaa8adb28b956d4aa7fe01f0ee45ec423a37 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
interface LexFoods = open Syntax in {
  oper
    wine_N : N ;
    pizza_N : N ;
    cheese_N : N ;
    fish_N : N ;
    fresh_A : A ;
    warm_A : A ;
    italian_A : A ;
    expensive_A : A ;
    delicious_A : A ;
    boring_A : A ;
}