LexEng.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/LexEng.gf

blob: 50a2a99dfda585526a7e15ca5d319f0f3b0e915e (plain)

concrete LexEng of Lex = CatEng ** open ParadigmsEng in {
  lin 
    zero_PN = regPN "zero" nonhuman ;
    successor_N2 = regN2 "successor" ;
    even_A = regA "even" ;
}