more todoConstructors
This commit is contained in:
1 parent
c826d07661
commit
49c6f32e4d
1 file changed
+8
@@ -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
|
||||
Reference in new issue
Block a user