gf-book/examples/chapter2/LettersCnc.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

concrete LettersCnc of Letters = {

  lincat L = Str ;
  lin 
    a = "a" ;
    b = "b" ;
    c = "c" ;
    d = "d" ;
    e = "e" ;
    f = "f" ;
    g = "g" ;
    h = "h" ;
    i = "i" ;
    j = "j" ;
    k = "k" ;
    l = "l" ;
    m = "m" ;
    n = "n" ;
    o = "o" ;
    p = "p" ;
    q = "q" ;
    r = "r" ;
    s = "s" ;
    t = "t" ;
    u = "u" ;
    v = "v" ;
    w = "w" ;
    x = "x" ;
    y = "y" ;
    z = "z" ;
}