1
0
forked from GitHub/gf-core

next-lib now compiles webalt ; removed subdir mathematical/ for simplicity

This commit is contained in:
aarne
2008-10-06 15:27:14 +00:00
parent e765b97fc4
commit ab14205108
29 changed files with 157 additions and 15 deletions

View File

@@ -0,0 +1,11 @@
--# -path=.:../abstract:../common
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 ++ "."} ;
}

View File

@@ -1,3 +1,5 @@
--# -path=.:abstract:common
concrete SymbolFin of Symbol = CatFin ** open Prelude, NounFin, ResFin in {
lin
@@ -25,7 +27,7 @@ lin
SymbS sy = sy ;
SymbNum n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ;
SymbOrd n = {s = \\_,_ => n.s ++ "."} ;
SymbOrd n = {s = \\_ => n.s ++ "."} ;
lincat