added CompoundN
This commit is contained in:
1 parent
621cfd8b43
commit
5cc990d259
2 files changed
+29
-1
No files matched your search
@@ -1,7 +1,8 @@
|
||||
--# -path=.:../abstract:../common:../prelude:../api
|
||||
|
||||
concrete AllMkd of AllMkdAbs =
|
||||
LangMkd
|
||||
LangMkd,
|
||||
ExtendMkd
|
||||
** {
|
||||
|
||||
} ;
|
||||
Reference in new issue
Block a user