next-lib/src/tmp/CompatibilityEng.gf


1
2
3
4
5
6
7
8
9
10
11

--# -path=.:../abstract:../common

concrete CompatibilityEng of Compatibility = CatEng ** open Prelude, ResEng in {

-- from Noun 19/4/2008

lin
    NumInt n = {s = n.s ; n = Pl ; hasCard = True} ; 
    OrdInt n = {s = n.s ++ "th"} ;

}