forked from GitHub/gf-rgl
added import for ExtendTur
This commit is contained in:
@@ -1,5 +1,6 @@
|
|||||||
--# -path=.:../abstract:../common:../prelude
|
--# -path=.:../abstract:../common:../prelude
|
||||||
|
|
||||||
concrete AllTur of AllTurAbs =
|
concrete AllTur of AllTurAbs =
|
||||||
LangTur
|
LangTur,
|
||||||
|
ExtendTur
|
||||||
** {} ;
|
** {} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user