grammars/ljung/thesis/ErasingAbs.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


-- the example 4.1 from Ljunglöf (2004, page 82) 

abstract ErasingAbs = {

cat S; A; B; C;

fun

f : A -> S;

g : A -> B -> C -> A;

a : A;

b : B;

c : C;


}