msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

completed French ordinals and thereby French/Romance

Browse Source
This commit is contained in:
aarne
2006-01-24 12:55:30 +00:00
parent 5a84f996b0
commit bcb62c87c5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/gf-modules.html
View File

@@ -593,7 +593,7 @@ a <b>lock field</b>,
cat C ; ===> oper C : Type = T ** {lock_C : {}} ;
lincat C = T ;
fun f : C_1 ... C_n -> C ; ===> oper f : A = \x_1,...,x_n ->
fun f : C_1 ... C_n -> C ; ===> oper f : C_1 ... C_n -> C = \x_1,...,x_n ->
lin f = t ; t x_1 ... x_n ** {lock_C = &lt;>};
</pre>
(Notice that the latter translation is type-correct because of