mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-07 14:16:31 -06:00
12 lines
273 B
Plaintext
12 lines
273 B
Plaintext
--# -path=.:../abstract:../common:../prelude
|
|
|
|
concrete CompatibilityFin of Compatibility = CatFin ** open Prelude, ResFin in {
|
|
|
|
-- from Noun 19/4/2008
|
|
|
|
lin
|
|
NumInt n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ;
|
|
OrdInt n = {s = \\_ => n.s ++ SOFT_BIND ++ "."} ;
|
|
|
|
}
|