diff options
Diffstat (limited to 'grammars/basic/tut1.Abs.gf')
| -rw-r--r-- | grammars/basic/tut1.Abs.gf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/grammars/basic/tut1.Abs.gf b/grammars/basic/tut1.Abs.gf new file mode 100644 index 000000000..195ca3b87 --- /dev/null +++ b/grammars/basic/tut1.Abs.gf @@ -0,0 +1,12 @@ +cat +S ; NP ; A1 ; CN ; + +fun +PredA1 : NP -> A1 -> S ; +CondS : S -> S -> S ; +DisjA1 : A1 -> A1 -> A1 ; +Every : CN -> NP ; +ModA1 : CN -> A1 -> CN ; +Number : CN ; +Even : A1 ; Odd : A1 ; Prime : A1 ; +Zero : NP ; |
