Lex.gf « arithm « tutorial « doc - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/doc/tutorial/arithm/Lex.gf

blob: bfc7257722fb025c2176fb904178bba2f22be0de (plain)

abstract Lex = Cat ** {
  fun
    zero_PN : PN ;
    successor_N2 : N2 ;  
    even_A : A ;
}