From 49c6f32e4dc8906178e0f6e8280763841421869f Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 31 May 2007 14:33:58 +0000 Subject: [PATCH] more todoConstructors --- resource-1.0/api/todoConstructors.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/resource-1.0/api/todoConstructors.txt b/resource-1.0/api/todoConstructors.txt index f61fde8c4..329c54bc5 100644 --- a/resource-1.0/api/todoConstructors.txt +++ b/resource-1.0/api/todoConstructors.txt @@ -80,6 +80,8 @@ VP? -- Comp: already eliminated +-- DConj /= Conj ? + -------------------------------------------- --- granted special cases @@ -102,3 +104,9 @@ VP? Num - Numeral | Digit | Int ListX - X X + +-------- + + open ResourceX, ParadigmsX in ... + + ResourceX = ConstructorsX, StructuralX, CatX