added ConstructionTha and implemented parts of it

This commit is contained in:
aarne
2015-09-01 08:29:48 +00:00
parent c6b36b99c7
commit fc371e64bd
4 changed files with 131 additions and 4 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:../prelude
--# -path=.:../abstract:../common:../api
concrete AllTha of AllThaAbs = LangTha ;