From 0357f78c629f040d8d389e8643d7e15e320cd2ce Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 16 Apr 2010 07:12:15 +0000 Subject: [PATCH] DemoUrd added to resource demo --- src/demo/DemoUrd.gf | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 src/demo/DemoUrd.gf diff --git a/src/demo/DemoUrd.gf b/src/demo/DemoUrd.gf new file mode 100644 index 000000000..cbed27294 --- /dev/null +++ b/src/demo/DemoUrd.gf @@ -0,0 +1,10 @@ +--# -path=.:alltenses + +concrete DemoUrd of Demo = LangUrd ** + open LangUrd in { + + lin + AdjN ap n = AdjCN ap (UseN n) ; + AdAdj ad a = AdAP ad (PositA a) ; + +}