summaryrefslogtreecommitdiff
path: root/gf-book/examples/chapter2/Letters.gf
blob: 2b5a62d2d058e42421b18bad9c59fa430e205c9e (plain)
1
2
3
4
5
6
7
8
abstract Letters = {

cat L ;
fun 
  a, b, c, d, e, f, g, h, i, j, k, l, m, 
  n, o, p, q, r, s, t, u, v, w, x, y, z : L ;

}