diff options
Diffstat (limited to 'doc/tutorial/applications/CommentsI.gf')
| -rw-r--r-- | doc/tutorial/applications/CommentsI.gf | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/tutorial/applications/CommentsI.gf b/doc/tutorial/applications/CommentsI.gf deleted file mode 100644 index d21150ff0..000000000 --- a/doc/tutorial/applications/CommentsI.gf +++ /dev/null @@ -1,21 +0,0 @@ ---# -path=.:prelude - -incomplete concrete CommentsI of Comments = open Syntax in { - - lincat - S = Syntax.S ; - Quality = AP ; - Kind = CN ; - Item = NP ; - - lin - Is item quality = PosVP item (PredAP quality) ; - This = DetCN this_Det ; - That = DetCN that_Det ; - These = DetCN these_Det ; - Those = DetCN those_Det ; - QKind = ModCN ; - Very = AdAP very_AdA ; - -} -
\ No newline at end of file |
