GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

tutorial in final form

Browse Source
This commit is contained in:
aarne
2007-07-08 16:36:56 +00:00
parent 812be937fd
commit c7e85d60fb
20 changed files with 8678 additions and 3401 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
examples/model/MathI.gf
View File

@@ -1,5 +1,5 @@
incomplete concrete MathI of Math =
open Grammar, Combinators, Predication, Lex in {
open Syntax, Lex in {
flags startcat = Prop ;
@@ -8,9 +8,9 @@ incomplete concrete MathI of Math =
Elem = NP ;
lin
And x y = coord and_Conj x y ;
Even x = PosCl (pred even_A x) ;
Odd x = PosCl (pred odd_A x) ;
Zero = UsePN zero_PN ;
And x y = mkS and_Conj x y ;
Even x = mkS (mkCl x even_A) ;
Odd x = mkS (mkCl x odd_A) ;
Zero = mkNP zero_PN ;
}