1
0
forked from GitHub/gf-rgl

added ConstructionTha and implemented parts of it

This commit is contained in:
aarne
2015-09-01 08:29:48 +00:00
parent 5cb72237db
commit 5b55696189
4 changed files with 131 additions and 4 deletions
+1 -1
View File
@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:../prelude
--# -path=.:../abstract:../common:../api
concrete AllTha of AllThaAbs = LangTha ;