diff --git a/lib/resource-1.0/api/todoConstructors.txt b/lib/resource-1.0/api/todoConstructors.txt index f61fde8c4..329c54bc5 100644 --- a/lib/resource-1.0/api/todoConstructors.txt +++ b/lib/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