next-lib renamed to lib, lib to old-lib

1 files changed, 38 insertions, 0 deletions

diff --git a/old-lib/resource/mathematical/SymbolScand.gf b/old-lib/resource/mathematical/SymbolScand.gf
new file mode 100644
index 000000000..8bde4e1a4
--- /dev/null
+++ b/old-lib/resource/mathematical/SymbolScand.gf
@@ -0,0 +1,38 @@
+incomplete concrete SymbolScand of Symbol = 
+  CatScand ** open Prelude, ResScand, CommonScand in {
+
+lin
+  SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
+  IntPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
+  FloatPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
+  NumPN i  = {s = \\c => i.s!neutrum ; g = Neutr} ; --- c
+  CNIntNP cn i = {
+    s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s) ;
+    a = agrP3 cn.g Sg
+    } ;
+  CNSymbNP det cn xs = let g = cn.g in {
+    s = \\c => det.s ! cn.isMod ! g ++ cn.s ! det.n ! det.det ! caseNP c ++ xs.s ; 
+    a = agrP3 g det.n
+    } ;
+  CNNumNP cn i = {
+    s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s ! neutrum) ;
+    a = agrP3 cn.g Sg
+    } ;
+
+  SymbS sy = {s = \\_ => sy.s} ;
+
+  SymbNum n = {s = \\_ => n.s ; isDet = True ; n = Pl} ;
+  SymbOrd n = {s = n.s ++ ":te" ; isDet = True} ; ---
+
+lincat 
+
+  Symb, [Symb] = SS ;
+
+lin
+
+  MkSymb s = s ;
+
+  BaseSymb = infixSS conjAnd ;
+  ConsSymb = infixSS "," ;
+
+}