GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

updated and tested Mathematical

Browse Source
This commit is contained in:
aarne
2006-02-21 17:31:54 +00:00
parent f3fa5bdd92
commit 05d13ef582
16 changed files with 84 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/resource-1.0/mathematical/SymbolEng.gf
View File

@@ -3,6 +3,7 @@ concrete SymbolEng of Symbol = CatEng ** open Prelude, ResEng in {
lin
SymbPN i = {s = \\c => i.s ; a = agrP3 Sg} ; --- c
IntPN i = {s = \\c => i.s ; a = agrP3 Sg} ; --- c
FloatPN i = {s = \\c => i.s ; a = agrP3 Sg} ; --- c
CNIntNP cn i = {
s = \\c => (cn.s ! Sg ! Nom ++ i.s) ;
a = agrP3 Sg
@@ -14,7 +15,7 @@ lin
lincat
Symb, SymbList = SS ;
Symb, [Symb] = SS ;
lin