From ab1420510859c3534d9ba7ff1e2ecbf3e317bc6c Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Oct 2008 15:27:14 +0000 Subject: next-lib now compiles webalt ; removed subdir mathematical/ for simplicity --- next-lib/src/tmp/CompatibilityEng.gf | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 next-lib/src/tmp/CompatibilityEng.gf (limited to 'next-lib/src/tmp/CompatibilityEng.gf') diff --git a/next-lib/src/tmp/CompatibilityEng.gf b/next-lib/src/tmp/CompatibilityEng.gf new file mode 100644 index 000000000..28ede2a17 --- /dev/null +++ b/next-lib/src/tmp/CompatibilityEng.gf @@ -0,0 +1,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"} ; + +} -- cgit v1.2.3